Monads of Regular Theories

9 years 11 months ago

Download www.mimuw.edu.pl

We characterize the category of monads on Set and the category of Lawvere theories that are equivalent to the category of regular equational theories.

Stanislaw Szawiel, Marek W. Zawadowski

Real-time Traffic

ACS 2015 | Distributed And Parallel Computing |

claim paper

» Monadic Chain Logic Over Iterations and Applications to Pushdown Systems

» On Monadic Theories of Monadic Predicates

» Random graphs in the monadic theory of order

» Decidable Expansions of Labelled Linear Orderings

» A Descriptive Characterization of TreeAdjoining Languages Project Note

» A Theory of Restrictions for Logics and Automata

» Algebras for Parameterised Monads

» Equational properties of iterative monads

» Spider Diagrams of Order and a Hierarchy of StarFree Regular Languages

Post Info
More Details (n/a)

Added	13 Apr 2016
Updated	13 Apr 2016
Type	Journal
Year	2015
Where	ACS
Authors	Stanislaw Szawiel, Marek W. Zawadowski

Comments (0)

Sciweavers

Monads of Regular Theories

ACS 2015 | Distributed And Parallel Computing |

Explore & Download

Productivity Tools

Sciweavers