Doctrine (mathematics)
In mathematics, specifically category theory, a doctrine is roughly a system of theories. For example, an algebraic theory, as invented by William Lawvere, is an example of a doctrine.
The concept of doctrines was invented by Lawvere as part of his work on algebraic theories. The name is based on a suggestion by Jon Beck.
A doctrine can be defined in several ways: