加载中…
We show that -categories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two -categories is equivalent to that of bimodule butterflies between the presentations. A bimodule butterfly is a specialization of a butterfly, i.e. a special kind of span or fraction, between the underlying complexes

生成讲解博客的中文版本

生成AI智能校验的中文版本