the category of sets; such a contravariant functor is frequently called a presheaf.

Giraud's axioms

Giraud's axioms for a category are:
* has a small set of generators, and admits all small colimits. Furthermore, fiber products distribute over coproducts; that is, given a set , an -indexed

1.Previous
3.Next