In category theory, a tetracategory is a weakened definition of a 4-category. There is no coherence theorem for tetracategories yet. [1]
This category theory-related article is a stub. You can help Wikipedia by expanding it.