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


Given a category $A$, and two classes of morphisms $S,S'$, we say that $S$ is right-cancellative with respect to $S'$ if for any pair of maps $f\in S, g\in S'$ such that $gf$ is defined, we have the implication $gf\in S \Rightarrow g\in S$.

Recall that the class of inner-anodyne morphisms in the category of simplicial sets is defined to be the class $\operatorname{llp}(\operatorname{rlp}(E))$, where $E$ denotes the set of inner-horn inclusions $\iota^n_k:\Lambda^n_k \hookrightarrow \Delta^n$ for $0<k<n.$


Is the class of inner-anodynes right-cancellative with respect to the class of monomorphisms? This is certainly the case for the Joyal-trivial cofibrations, but being inner-anodyne is a rather stronger condition.

share|cite|improve this question
Incidentally, do you know if right plus left anodyne implies inner anodyne? – Akhil Mathew Dec 3 '11 at 7:32
@Akhil: The map $\Delta[1] \to \Delta[2]$ induced by $\delta_1 : [1] \to [2]$ is both left and right anodyne, but it's not inner anodyne since it's not bijective on $0$-simplices. – Karol Szumiło Dec 3 '11 at 8:41
@Karol: thanks! – Akhil Mathew Dec 3 '11 at 14:24

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.