In fact, it is possible to put these axioms in another form where their geometric character is more apparent, assuming that the underlying category "C" has fibered products.
It is possible to put these axioms in another form where their geometric character is more apparent, assuming that the underlying category "C" has fibered products. This was in fact.