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.

Revised on June 11, 2009 02:09:46 by Jacques Distler (