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: deprecated: topos theory

Topic: errata to Johnstone's Topos Theory


view this post on Zulip Joshua Wrigley (Nov 18 2021 at 14:15):

Hi all,
I am looking to cite Johnstone's Topos Theory (1977, Academic Press) but the particular part I'm looking at has some errors, at least in my Dover reprint. I was wondering whether an errata was ever published since I'd rather say Johnstone corrected himself. A google search has come up empty.
Many thanks.

view this post on Zulip John Baez (Nov 18 2021 at 14:16):

I have never heard of errata being compiled....

view this post on Zulip Nathanael Arkor (Nov 18 2021 at 14:20):

My impression was that the Elephant was intended to replace Topos theory (though perhaps it does not totally subsume it?).

view this post on Zulip Zhen Lin Low (Nov 18 2021 at 14:30):

Perhaps when vol. 3 comes out we will have something closer to a full replacement... At the moment cohomology is not treated.