3 papers
math.CT2023
Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories
Jason Parker
It is a classical result of categorical algebra, due to Lawvere and Linton, that finitary varieties of algebras (in the sense of Birkhoff) are dually equivalent to finitary monads…
math.CT2023
Free algebras of topologically enriched multi-sorted equational theories
Jason Parker
Classical multi-sorted equational theories and their free algebras have been fundamental in mathematics and computer science. In this paper, we present a generalization of multi-so…
math.CT2022
Exponentiability in categories of relational structures
Jason Parker
For a relational Horn theory , we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}…