On the local Kan structure and differentiation of simplicial manifolds

Florian Dorsch

We prove that arbitrary simplicial manifolds satisfy Kan conditions in a suitable local sense. This allows us to expand a technique for differentiating higher Lie groupoids worked…