Tetracategory

Last updated

In category theory, a tetracategory is a weakened definition of a 4-category. There is no coherence theorem for tetracategories yet. [1]

Contents

See also

Notes

  1. Crans 2000.

References