Tetracategory

A tetracategory is a type of higher categorical structure that extends the concept of categories and higher categories. In general, a **category** consists of objects and morphisms (arrows) between those objects that can be composed. A **2-category** extends this idea by allowing morphisms between morphisms, known as 2-morphisms.