for disambiguation see wreath product
Let be a small category. Its categorical wreath product with the simplex category is the category whose
objects are -tuples of objects of , for any ;
morphisms are tuples
consisting of
a morphism in ;
morphisms for and .
An object of is to be thought of as a sequence of morphisms labeled by objects of
and morphisms are given by maps between these linear orders equipped with morphisms from the th object in the source to all the objects in the target that sit in between the image of the th step.
The -fold wreath product of the simplex category with itself is the th Theta-category .
Other applications are discussed at club and at terminal coalgebra of an endofunctor.
Section 3 of
Last revised on February 12, 2013 at 17:02:57. See the history of this page for a list of all contributions to it.