New posts in Category Theory

Implementing Category Theory in General Relativity

Do Category Theory and/or Quantum Logic add value in physics?

Can we make a theory of small categories?

Function "evaluation" just means "composition"?

When is a category the colimit of its slice categories

If $A, B$ are Morita equivalent, then $\underline{\text{Nat}}(I_A, I_A)\cong\underline{\text{Nat}}(I_B, I_B)$.

Identity for categorical product is terminal?

Does the categorical notion of a coequalizer coincide with the usual quotient objects considered in algebra?

Why is it that the congruence relations usually correspond to some type of subobject?

Can the map sending a presentation to its group be considered as a functor?