Categories of Coalgebras with Monadic Homomorphisms

DOI10.1007/978-3-662-44124-4_9zbMath1445.68119OpenAlexW192120928MaRDI QIDQ2942781

Wolfram Kahl

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01408758/file/328263_1_En_9_Chapter.pdf

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (5)

Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras ⋮ Finite limits and anti-unification in substitution categories ⋮ A flexible categorial formalisation of term graphs as directed hypergraphs ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Van Kampen Colimits and Path Uniqueness

Uses Software

• CASL
• Agda
• RATH-Agda

This page was built for publication: Categories of Coalgebras with Monadic Homomorphisms