加载中…
We show that some recent constructions in the literature, named `weak’ generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.

生成讲解博客的中文版本

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