Notes on $n$-Transformations by Theories ($n\in {\mathbb{N}}^{\ast }$)

Camell Kachour

Clemens Berger showed that Weak Omega Categories of Michael Batanin can be defined as model of a certain kind of theories that he called "homogeneous theories". By using the work o…