dlthomas comments on Welcome to Less Wrong! (2012)

[dlthomas]

“The category Cat consists of all small categories, with functors between them as morphisms.”