Author: nLab edit announcer Format: MarkdownItexAdd some explanation why Kan condition explains composition and inverse from the groupoid point of view.
Chenchang Zhu
<a href="https://ncatlab.org/nlab/revision/diff/Lie+n-groupoid/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/Lie+n-groupoid/4">v4</a>, <a href="https://ncatlab.org/nlab/show/Lie+n-groupoid">current</a>
Add some explanation why Kan condition explains composition and inverse from the groupoid point of view.