LeBlanc, Frédéric2022-09-162022-09-162022-09-16http://hdl.handle.net/10393/44063http://dx.doi.org/10.20381/ruor-28276We 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.enIsotropyLawvere theoryInner theoryThesis