Università degli Studi di Genova
Symmetric weak cubical categories were introduced in previous works, as a basis for the study of cubical cospans in Algebraic Topology and higher cobordism. Such cubical structures are equipped with an action of the n-dimensional symmetric group on the n-dimensional component, which has been used to simplify the coherence conditions of the weak case. We give now a deeper study of the role of symmetries. The category of ordinary cubical sets has a Kan tensor product, which is non symmetric and biclosed, with left and right internal homs based on the right and left path functors. On the other hand, symmetric cubical sets have one path functor leading to one internal hom and a symmetric monoidal closed structure. Similar facts hold for cubical and symmetric cubical categories, and should play a relevant role in the sequel, the study of limits and adjunctions in these higher dimensional categories. Weak double categories, studied in four papers with R. Paré, are a cubical truncation of the present structures. While constructing examples of cubical categories, we also investigate a `rewriting' procedure of reduction to canonical forms, which allows one to quotient a weak symmetric cubical category of cubical spans (resp. cospans), and obtain a strict symmetric cubical category of `cubical relations' (resp. `cubical profunctors').
Weak cubical category, weak double category, cubical set, symmetries
Pubblicato su: Cahiers de Topologie et Geometrie Differentielle Categoriques Vol. 50 (2009) N. 2 Pag. 102-143