TY - RPRT TI - Path category for free - Open morphisms from coalgebras with non-deterministic branching AU - Thorsten Wißmann AU - Jérémy Dubut AU - Shin-ya Katsumata AU - Ichiro Hasuo PY - 2019 UR - https://arxiv.org/abs/1811.12294 ID - 1811.12294 ER -