Category: Lex

Lex is the category whose objects are finitely complete categories and arrows are left exact functors.

Facts Derived from Enrichment

(Lex doesn't seem to have any notable subcategories.)



categories: Lex

This data as json

name objects_hr arrows_hr
Lex finitely complete categories left exact functors

Links from other tables