regular, geometric and coherent categories

["John Baez" <baez@math.ucr.edu>]

Dear Categorists -

In my quest to understand how various flavors of monoidal
category can be seen as having various flavors of "internal
language" and "internal logic", I've been enjoying the section
in Johnstone's "Sketches of an Elephant" where he discusses
different fragments of first-order logic and how they can
be interpreted in categories with different properties.

Of course, this being a book on topos theory, none of this
deals with monoidal categories where the tensor product
is not cartesian - my main interest, for applications
to quantum logic.  But, it's still lots of fun.

I'd like to get a better feel for some of these things.
For example, he talks about

"cartesian categories"
"regular categories",
"geometric categories",
"coherent categories"

and describes which fragment of first-order logic can be
interpreted in each of these things:

"cartesian logic",
"regular logic",
"geometric logic"
"coherent logic".

Here's some stuff I think I know.  I know the definitions of
the above concepts, as long as I have the book open to the
right page... but I left it at home, so these could be wrong!

Cartesian categories have finite limits.  Regular categories
are cartesian categories with regular epi/mono factorizations,
which must be stable under pullbacks.  Geometric categories are
regular categories admitting arbitrary unions of subobjects,
which must be stable under pullbacks.   Coherent categories
are geometric categories where pullback of subobjects has a
right adjoint (which plays the role of "for all").

I have a fairly good feel for categories with finite limits and
"finite limits theories"; the others seem more mysterious to me,
since I don't know enough examples illustrating the distinctions.
Categories monadic over Set are regular, so AbGp is regular - but
it's not coherent, since in a coherent category every morphism to
the initial object is an isomorphism.  What are some other examples
of all these things?