Category

Objects as functors

Let be a category. It is often useful to view an object as a functor (or diagram) from the single-object , so

See also objects as identities.

#state/tidy | #lang/en | #SemBr