Equivalence of Categories
Backlinks
Bi-Initial Object
Canonical model structure on Cat