Source: wikibot/tetracategory

= Tetracategory
{wiki=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.