Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: general

Topic: errata to LPAC


view this post on Zulip Reid Barton (Oct 01 2021 at 22:11):

There used to be a PDF file of errata to the book Locally Presentable and Accessible Categories by Adamek and Rosicky, as referenced on the nLab here. Unfortunately at some point in the last couple of years it disappeared, and I haven't managed to find it again elsewhere. I'm wondering if anyone has, or knows where I could find a copy.

view this post on Zulip Zhen Lin Low (Oct 01 2021 at 22:25):

I have an errata file but I don't remember where I got it from...
Adámek-J.-and-J.-Rosický-2010-Errata-Locally-presentable-and-accessible-categories.pdf

view this post on Zulip Reid Barton (Oct 01 2021 at 22:29):

Yes this is the file I remember, thanks!

view this post on Zulip Zhen Lin Low (Oct 01 2021 at 22:30):

Actually it looks like I have two files. Adámek-J.-and-J.-Rosický-2013-Errata-Locally-presentable-and-accessible-categories.pdf

view this post on Zulip Reid Barton (Oct 01 2021 at 22:59):

Even better, thanks again.

view this post on Zulip Mike Shulman (Oct 01 2021 at 23:46):

Someone should upload that file to somewhere with a durable link (maybe the nLab) and correct the nLab link to point to it.

view this post on Zulip John Baez (Oct 02 2021 at 18:59):

Did "someone" do this?

view this post on Zulip Nathanael Arkor (Oct 02 2021 at 19:03):

I just did so.

view this post on Zulip John Baez (Oct 02 2021 at 19:11):

Thanks very much! I get nervous when people on the internet agree that "someone" should do something, and then the conversation ends.

view this post on Zulip John Baez (Oct 02 2021 at 19:12):

"The committee was in unanimous agreement that someone else should do this job." :upside_down:

view this post on Zulip Mike Shulman (Oct 03 2021 at 00:27):

Thanks!

view this post on Zulip Tim Campion (Oct 20 2021 at 14:56):

I think the errata was originally on Adamek's website, and it disappeared when he retired.

view this post on Zulip Tim Campion (Oct 20 2021 at 14:57):

Both those versions are rather old.

view this post on Zulip Tim Campion (Oct 20 2021 at 14:58):

I know I wrote to Adamek and Rosicky with minor corrections more recently.

view this post on Zulip Tim Campion (Oct 20 2021 at 14:59):

More significantly, 6.35 and 6.37 in LPAC are false.

view this post on Zulip Tim Campion (Oct 20 2021 at 14:59):

This is recorded in https://eudml.org/doc/295075

view this post on Zulip Tim Campion (Oct 20 2021 at 15:00):

doi http://dx.doi.org/10.14712/1213-7243.2019.021

view this post on Zulip Tim Campion (Oct 20 2021 at 15:01):

Yeah, I only have the 2013 errata on my computer, same as the second one Zhen Lin linked

view this post on Zulip Reid Barton (Oct 20 2021 at 15:02):

And also https://arxiv.org/abs/1812.10649v1

view this post on Zulip Tim Campion (Oct 20 2021 at 15:02):

all the versions

view this post on Zulip Tim Campion (Oct 29 2021 at 10:54):

Here's another one: multiple people have reported difficulty following the proof of Remark 1.30. If I understand correctly, Rosicky retracted the claim that 1.30 is correct in an MO comment here, but Reid Barton gives an alternative proof (using more recent technology) at that same MO question.