nLab Lex

$Lex$ is a widely used name for the 2-category of:

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.

category: category

Last revised on July 4, 2010 at 19:51:34. See the history of this page for a list of all contributions to it.