加载中…
A -set is a functor from the category to the category of finite sets and functions. The category of -sets, , is defined as the category whose objects are -sets, and whose morphisms are natural transformations between them. In this document we provide some concise characterizations of groupoids in terms of their category of -sets.

生成讲解博客的中文版本

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