In the mathematical definition of Higher Category Theory an mathematical machinery is set up that allows to concretely handle the explicit choices of composites of cells. Such machinery usually involves operadic tools in one way or other. This article mainly focus on Higher Category Theory which explain that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.
Higher Category Theory
