2
$\begingroup$

Let $X$ be a simplicial object in the category of commutative inverse semigroups (or monoids, if needed). Is the underlying simplicial set of $X$ always a Kan complex? If so, are there some nice extensions of this result to more general simplicial semigroups?

$\endgroup$

1 Answer 1

2
$\begingroup$

By a theorem of Moore and Carboni–Kelly–Pedicchio, given a variety of algebras $A$, every simplicial object in $A$ is a Kan complex if and only if $A$ is a Malcev category.

The latter holds if and only if the algebraic theory that defines $A$ contains a Malcev operation, which is clearly false for commutative inverse monoids.

Thus, commutative inverse monoids do not form a Malcev category. Therefore, not every simplicial commutative inverse monoid is a Kan complex.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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