I have created the following web of entries

cartesian category, cartesian functor, cartesian logic, cartesian theory

regular category, regular functor, regular logic, regular theory, regular coverage, regular topos

coherent category, coherent functor, coherent logic, coherent theory, coherent coverage, coherent topos

geometric category, geometric functor, geometric logic, geometric theory

Most of them stubs. Partly just material split off from other entries. But all with the relavent pointers to the Elephant or other literature. To be expanded.

]]>