45 citations · 237 across the 53 of their papers we have counts for
5 papers · 2 filters
Equational Axiomatization of Algebras with Structure
Stefan Milius, Henning Urbat
This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with addi…
Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum
Ulrich Dorsch, Stefan Milius, Lutz Schröder
State-based models of concurrent systems are traditionally considered under a variety of notions of process equivalence. In the particular case of labelled transition systems, thes…
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages
Ulrich Dorsch, Stefan Milius, Lutz Schröder +1
We introduce a generic expression language describing behaviours of finite coalgebras over sets; besides relational systems, this covers, e.g., weighted, probabilistic, and neighbo…
A Categorical Approach to Syntactic Monoids
Jiří Adamek, Stefan Milius, Henning Urbat
The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category . This allows for a uniform treatment of several notions of synta…
A New Foundation for Finitary Corecursion and Iterative Algebras
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modelled as coalgebras with a fin…