# A comprehensive list of categories

There is a lot of well-known categories like Set, Grp, Ab, Top, Haus, Cpt, Met, Ring, $$R$$-Mod, Cat, …

Is there a well-organized list of categories like this, together with their properties like how (co)limits look like, what are the mono/epi-morphisms and so on?

Ideally, the list would also include some canonical functors between the categories, for example the forgetful functors and their adjoints. This helps with the description of limits.

• This reminded me of an older post: Category Theory Zoo. (Sadly, no answer.) Dec 24, 2021 at 9:44