New posts in Category Theory

A category which direct limits but no general colimits

Subobject Classifier of a Topos is Injective

Functor that does not preserve monic and epic

Solving a (fun!) coequalizer problem for $\mathrm{SL}_n(\mathbb{R})\rightarrow\mathrm{SL}_n(\mathbb{C})$ in $\mathbf{Grp}$

Addition and multiplication in terms of arrows in the poset category where an existing arrow means "divides".

What theory of logic or types considers the "category of propositions"?

Does the association $V \mapsto GL(V)$ define a functor?

Why is $\operatorname{colim} F \cong \pi_0\left (\int F\right )$?

Intuition of characteristic property of the free group

composition and invertibility of 2-morphisms in a quasi-category