加载中…
We construct a machine which takes as input a locally small symmetric closed complete multicategory . And its output is again a locally small symmetric closed complete multicategory , the multicategory of small -categories and multi-entry -functors. An example of such is provided by short spaces (vector spaces with a system of seminorms) and short maps. When the ground multicategory is we obtain strict 2-categories and their surroundings by iterating twice the construction of categories.

生成讲解博客的中文版本

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