加载中…
For a given -operad on globular sets we introduce a sequence of symmetric operads on called slices of and show how the connected limit preserving properties of slices are related to the property of the category of -computads of being a presheaf topos.

生成讲解博客的中文版本

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