New posts in Ct.Category Theory

Is there any Lie groupoid structure on $Hom(\mathcal{G}, \mathcal{H})$ where $\mathcal{G}$ and $\mathcal{H}$ are Lie groupoids?

Examples of categories cofibered in groupoids

What is Barr-Beck?

When the definition of a set starts to matter in category theory

How to rewrite mathematics constructively?

Are equivalences of categories stable under filtered colimits?

Monoidal categories whose tensor has a left adjoint

Multicategories vs Categories

Are functor categories with triangulated codomains themselves triangulated?

Zermelo-Frankel set theory for algebraists