The subobject classifier of the category of functional bisimulations

DOI10.14492/hokmj/1351001215zbMath0936.18003OpenAlexW2015660237MaRDI QIDQ1301354

Hiroshi Watanabe

Publication date: 14 May 2000

Published in: Hokkaido Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14492/hokmj/1351001215

zbMATH Keywords

functional bisimulationsnondeterministic dynamical systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Related Items (1)

On the structure of categories of coalgebras

This page was built for publication: The subobject classifier of the category of functional bisimulations