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

DOI10.1007/978-3-030-17127-8_30OpenAlexW2902372396MaRDI QIDQ2289101FDOQ2289101

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

Publication date: 28 January 2020

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)

Cited In (3)

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

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)