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

Hi everybody,

I'm interested in the barycentric subdivision of a poset $P$, defined as the face poset of the corresponding order complex $\mathcal F(\Delta(P))$ (or alternatively, the poset of chains in $P$ ordered by inclusion). Actually, I'm interested in the subdivision of small categories, but I'm also happy understanding the poset case.

I was wondering if the functor $sd:\mbox{Poset} \to \mbox{Poset}$ has a right adjoint. I am aware of the Ex functor, which is right adjoint to the corresponding functor of simplicial sets. Can one define a similar object for posets?

share|cite|improve this question
up vote 3 down vote accepted

This functor has no right adjoint, since it doesn't preserve colimits. Let $[m]$ denote the linearly ordered set $\{0,\ldots,m\}$ and consider the pushout of $[0]\overset{0}{\to}[1]$ and $[0]\overset{1}{\to}[1]$, which can be identified with $[2]$. Now $\mathrm{sd}[2]$ is the poset of chains in $[2]$, but the pushout of $\mathrm{sd}[1]\leftarrow\mathrm{sd}[0]\to\mathrm{sd}[1]$ has only five elements, in fact it can be identified with the subset of $\mathrm{sd}[2]$ consisting of chains $\{0\},\{1\},\{2\},\{0,1\},\{1,2\}$.

share|cite|improve this answer

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.