2-Category: Lex
Lex is the 2-category whose objects are finitely complete categories, arrows are left exact functors, and transformations are natural transformations. Specifically, Lex is a bicategory.
2-categories: Lex
This data as json
name | is_strict | transformations_hr |
---|---|---|
Lex | 0 | natural transformations |