Eilenberg-Moore algebra
Lawvere theory
adjoint
adjunction
allegory
adjoint on the right
almost totally-supported
balanced
capital
category
categorical coproduct
categorical property
cartesian closed
coequaliser
colimit
complete
completeness
cone
contravariant
coproduct
cospan
counit
cover
cover-projective
creates
detector
detecting
diagram
directed
direct limit
direct sequence
edge
effective
effective regular
Eilenberg-Moore
(4)
(5)
(6)
epimorphism
epic
equaliser
equivalence
equivalent
equivalence relation
essentially injective
essentially surjective
faithful
filtered
full
functor
functorial
G-split
has filtered colimits
image
initial
inverse limit
inverse sequence
initial object
Kleisli category
Kleisli
left adjoint
commute
limit
locally small
model
monad
monadic
monic
monomorphism
(1)
(2)
(3)
natural
natural isomorphism
naturality square
natural transformation
naturality
naturally isomorphic
injective
reflexive
preserve
preserves
product
projective
pullback
pushout
pointwise
right adjoint
reflect
reflects
reflective
reflection
reflective subcategory
regular
regular epi
relation
representation
represented
representable
separator
separating
strict initial object
skeletal
skeleton
small
span
split coequaliser
split
solution-set condition
solution-set
subobject
support
symmetric
terminal
terminal object
topos
transitive
totally-supported
unit
vertex
well-copowered
weakly
well-powered
well-supported
Yoneda embedding