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

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

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

Publication date: 28 January 2020

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

zbMATH Keywords

coalgebracategoriesnominal setsopen maps

Mathematics Subject Classification ID

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

Related Items (3)

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

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