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.
Ignat Insarov (Jun 26 2025 at 03:53):So it was first discovered in the year 1966! This is so cool!
@Nathanael Arkor It mentions that you re-typeset this. Thank you.
Ignat Insarov (Jun 26 2025 at 03:54):And thanks to @Valeria de Paiva as well since she is also mentioned in acknowledgements.
Notification Bot (Jun 26 2025 at 03:58):Ignat Insarov has marked this topic as resolved.
Ignat Insarov (Jun 26 2025 at 04:08):Mike Shulman said:
Would you be happy to cite an nLab page like [[endo-adjunction of Set]]?
If someone happens to create such a page, it would be convenient for a quick reference. It could link to endo-adjunctions in other categories, were such to be discovered.
Ignat Insarov (Jun 26 2025 at 04:21):It is very great and non-trivial that the Category Theory community is keeping the history accessible like this.