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: learning: questions

Topic: Database of Categories, Topoi, etc.


view this post on Zulip Uroš Nedić (Oct 01 2020 at 18:50):

Is there any Database (dictionary or library) where all discovered categories are described?

view this post on Zulip Javier Prieto (Oct 01 2020 at 19:10):

This stream started with a very similar question. Maybe you'll find some interesting links there.

view this post on Zulip John Baez (Oct 01 2020 at 21:26):

I think the short answer is: there's nothing much better than the nLab right now, in terms of completely listing "all known categories" (an insanely ambitious goal).

view this post on Zulip John Baez (Oct 01 2020 at 21:29):

But also: people could improve the nLab by making such a list easier to find, and better.

Right now you can find a listing of categories here:

https://ncatlab.org/nlab/all_pages/category

Click on the names to find more information about each one.