加载中…
We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the lax' multiple categories; the transversal arrows are their strict multiple functors while the arrows in a positive direction are multiple functors of a mixed laxity’, varying from the lax ones (in direction 1) to the colax ones (in direction \infty).

生成讲解博客的中文版本

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