Tetracategory


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