MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I need a name for a regular category where the inverse image maps have right adjoints.

If $\mathcal C$ is a regular category, then the poset of subobjects $\mathsf{Sub}(X)$ of any object $X$ is a semilattice and the inverse image map of any arrow $f:X\to Y$ has a left adjoint $\exists_f:\mathsf{Sub}(X) \to \mathsf{Sub}(Y)$. If $\mathcal C$ is a Heyting category, then the inverse image map $f$ also has a right adjoint $\forall_f:\mathsf{Sub}(X) \to \mathsf{Sub}(Y)$. But Heyting categories also have all finite coproducts and I want a name for regular categories that just have those right adjoints.

Do you know if this category of categories already has a name? Can you suggest a name?

Update: Heyting categories or logoses need not have all finite coproducts, but posets of subobjects are lattices, where I only need semilattices.

share|cite|improve this question
Is there a name for the fragment of logic containing only $\wedge$, $\exists$, $\Rightarrow$, and $\forall$? If so, you could borrow the same name for your categories, since it would probably be their internal logic. – Mike Shulman Oct 15 '10 at 20:29
+1 for the title. – Dave Penneys Nov 23 '10 at 19:12
up vote 3 down vote accepted

From Freyd and Scedrov's book Categories, Allegories: a logos is a regular category in which $Sub(A)$ is a lattice for each object $A$, and in which the inverse-image operation $f^*: Sub(B) \to Sub(A)$ has a right adjoint for each morphism $f: A \to B$ (page 117).

share|cite|improve this answer
I don't want a lattice structure on my subobject posets. But maybe I could call my categories "hemilogoses" or something like that. – Wouter Stekelenburg Oct 18 '10 at 9:14
Sorry I don't know a name for precisely what you want. It seems like a natural-enough notion. – Todd Trimble Oct 18 '10 at 10:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.