category theory
category
functor
natural transformation
Cat
universal construction
representable functor
adjoint functor
limit/colimit
weighted limit
end/coend
Kan extension
Yoneda lemma
Isbell duality
Grothendieck construction
adjoint functor theorem
monadicity theorem
adjoint lifting theorem
Tannaka duality
Gabriel-Ulmer duality
small object argument
Freyd-Mitchell embedding theorem
relation between type theory and category theory
sheaf and topos theory
enriched category theory
higher category theory
Edit this sidebar
A multimorphism is a morphism A 1,⋯,A n→BA_1, \cdots, A_n \to B in a multicategory.
binary function, bilinear map, multilinear map
binary morphism, multimorphism
bifunctor, multifunctor
Last revised on May 25, 2020 at 09:21:04. See the history of this page for a list of all contributions to it.