ambient category

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

If $C$ 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 $C$ is a topos; see foundations.

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