Finite Limit of a Functor
A
finite limit
is a
Limit
over a
Finite
diagram.
Backlinks
Geometric Morphism
Logical Morphism
Left Exact Functor
Unital Category