2 citations · 2 across the 1 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…