MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Sketches come in many flavors, according to "what the user may specify." There are finite product sketches where the user may specify a choice of "discrete cones" to be limits. More generally, there are limit sketches where the user may specify a choice of cones of arbitrary shape to be limits. There are similarly coproduct and colimit sketches, as well as combinations. One can allow the user to specify only finite limits and infinite colimits, for example. Most generally (in the context of this mathoverflow question), a sketch may specify any set of small colimits or small limits.

Thus there are many restrictions one can put on "what the user can specify." Let's call each such restriction a type of sketch. For each type of sketch ${\bf T}$, we will write ${\bf T}-Sketch$ to denote the category of sketches of type ${\bf T}$ and the sketch maps between them.

The category $Set$ of sets sits inside of ${\bf T}-Sketch$ for any type of sketch ${\bf T}$. A $Set$-model of a sketch $S$ is a sketch map $S\to Set$, i.e. a map which preserves all the specified structure. Let $S-Set$ denote the category of $Set$-models of $S$.

For any type of sketch ${\bf T}$, and any morphism $f\colon S\to S'$ of ${\bf T}$-sketches, there is a functor $$f^\ast\colon S'-Set\longrightarrow S-Set$$ given by composition.

Q1: For what types of sketch does $f^\ast$ have a right adjoint?

Q2: For what types of sketch does $f^\ast$ have a left adjoint?

It seems that the types of sketch ${\bf T}$ itself forms a poset under inclusion (i.e. "only filtered colimits" is a subtype of "all colimits"). This poset of sketch-types has meets and joins.

Q3: Can the answer to Q1 and/or Q2 be phrased in terms of the poset of sketch-types? For example, is the sub-poset of sketch-types for which $f^\ast$ has a right adjoint closed under meets? Joins?

share|cite|improve this question
Would Freyd's Adjoint funtor theorem help? – Spice the Bird Dec 6 '11 at 1:25
'type of sketch' is usually referred to as 'doctrine' – David Roberts Oct 28 '13 at 4:42

Your Answer


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

Browse other questions tagged or ask your own question.