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