Category of strict categories

The category of strict categories $𝖢 𝖺 𝗍$ is a category where an object is a (small) strict category and a morphism is a functor.

#state/tidy | #lang/en | #SemBr