Category
Backlinks
Span
Binary Pullback
Algebraic Theory
Tangent Category
Distributive Category
Subcategory
Fibration of Points
Zero Object
Cocomplete Category
Strict Category
Topological Categories
Equaliser
Bundle
Yoneda Embedding
Binary Cartesian Product
Coequaliser
Global Element
Weak Terminal Object
Unital Category
Bicategory of Categories
Delooping of a Monoid
Boolean
Indexed Cartesian Product
Terminal Object
Terminal Category
Extensive Category
Initial Category
Congruence in a Category
Additive Bundle
Binary Biproduct
Split Epimorphism
Cartesian Closed Category
Monomorphism
Subobject
Source in a Category
Wide Subcategory
Functor
Functor Category
Opposite Category
Category of Elements
Generalized Element
Cospan
Initial Object
Finite Biproduct
Wide Pullback
Fibre Bundle
Wide Cospan
Quotient Object
Reflective Subcategory
Invertible Element
Multicategory
Weakly Initial Family
Category of Topological Spaces
Kleisli Category