$Lex$ is a widely used name for the 2-category of:
finite-limit-preserving functors between these, and
natural transformations between those.
In categorical logic, such categories are also known as finite limits theories or essentially algebraic theories. Finite-limit-preserving functors are also known as left exact functors or lex functors, and these give $Lex$ its name.
$(n+1,r+1)$-categories of (n,r)-categories
A study of descent in $Lex$:
Last revised on October 16, 2023 at 09:52:36. See the history of this page for a list of all contributions to it.