Spelling suggestions: "subject:"lawvere theory"" "subject:"cavere theory""
1 |
Lawvere Theories and Definable OperationsLeBlanc, Frédéric 16 September 2022 (has links)
We introduce the inner theory or, more verbosely, isotropy Lawvere theory functor, which generalizes the isotropy group/monoid by assigning a Lawvere theory of coherently extendable arrows to each object of a category with finite powers. Then, we characterize the inner theory for categories of models of an algebraic (or, more generally, quasi-equational) theory, and note its relationship with a notion of definability for morphisms. Finally, we explore a variety of examples.
|
Page generated in 0.0369 seconds