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.
Karol Szumiło (Jul 28 2025 at 14:58):Does anyone know how to obtain a copy of this book? It's Aarhus Lecture Notes 30, 1971.
Nathanael Arkor (Jul 28 2025 at 15:43):(I would also love to find a copy.)
Tom de Jong (Jul 28 2025 at 18:00):Maybe ask someone at Aarhus, e.g. @daniel gratzer?
Matt Earnshaw (Jul 28 2025 at 18:19):kock-wraith_elementary-toposes.pdf
(scanned by T.H.)
Karol Szumiło (Jul 28 2025 at 18:31):That's great, thank you!
Tom de Jong (Jul 28 2025 at 19:03):I will send Anders Kock an email asking if we can make this publicly available on the nLab.
Valeria de Paiva (Jul 28 2025 at 20:24):If the answer is yes, maybe we can ask the TAC editorial board to make it a TAC Reprint.
John Baez (Jul 28 2025 at 20:38):(Has anyone thought of doing that with any of the new posthumous Lawvere papers?)
Tom de Jong (Jul 29 2025 at 08:55):Anders was very happy to have a scanned copy himself and has uploaded it to his homepage [0]. I have also uploaded it to the nLab as [1], findable via [2].
I have also contacted a maintainer of the Aarhus Math. Lecture Notes Series archive to see whether a copy can be included there.
[0] http://tildeweb.au.dk/au76680/KW.pdf
[1] https://ncatlab.org/nlab/files/KockWraith-ElementaryToposes.pdf
[2] https://ncatlab.org/nlab/show/topos