In mathematics, specifically category theory, a doctrine is roughly a system of theories ("categorical analogues of fragments of logical theories which have sufficient category-theoretic structure for their models to be described as functors"). For example, an algebraic theory, as invented by William Lawvere, is an example of a doctrine.
In mathematics, specifically category theory, a doctrine is roughly a system of theories ("categorical analogues of fragments of logical theories which have sufficient category-theoretic structure for their models to be described as functors"). For example, an algebraic theory, as invented by William Lawvere, is an example of a doctrine.
Source: Wikipedia "Doctrine (mathematics)" · CC BY-SA 4.0
Share this article: X · Bluesky