*** Welcome to piglix ***

Tetracategory


In category theory, a tetracategory is a weakened definition of a 4-category.


...
Wikipedia

...