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