nLab ambient category

An ambient category CC is just a category from which internal structures take their objects and structure morphisms.

If CC has extra structure, like being (semi-)abelian or a site, then one can do extra things; this is made precise through the concept of doctrine.

More generally an ambient category could be seen as a ‘universe of discourse’, as when CC is a topos; see foundations.

Last revised on June 11, 2009 at 02:09:46. See the history of this page for a list of all contributions to it.