Path category for free. Open morphisms from coalgebras with non-deterministic branching

DOI10.1007/978-3-030-17127-8_30MaRDI QIDQ2289101zbMATH OpenOpenAlexFDO

Authors Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1811.12294

zbMATH Keywords

categoriescoalgebranominal setsopen maps

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Paths and simulations
• Coalgebra morphisms subsume open maps
• scientific article; zbMATH DE number 1314222
• On path-based coalgebras and weak notions of bisimulation
• scientific article; zbMATH DE number 1231625

Cited in

(3)

• Weighted and branching bisimilarities from generalized open maps
• Minimality Notions via Factorization Systems and Examples
• Bisimilarity of Diagrams

This page was built for publication: Path category for free. Open morphisms from coalgebras with non-deterministic branching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289101)