3 papers
math.CT2021
Monads on Categories of Relational Structures
Chase Ford, Stefan Milius, Lutz Schröder
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the ari…
math.CT2020
Finitary Monads on the Category of Posets
Jiří Adámek, Chase Ford, Stefan Milius +1
Finitary monads on are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequation…
cs.LO2020
Behavioural Preorders via Graded Monads
Chase Ford, Stefan Milius, Lutz Schröder
Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation to coarse-grained ones…