Presents codensity bisimilarity games as a general categorical characterization of bisimilarity-like notions via fibrations, coalgebras, and predicate transformers, covering bisimulation metrics and new notions such as bisimulation topology.
Codensity lifting of monads and its dual,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Codensity Games for Bisimilarity
Presents codensity bisimilarity games as a general categorical characterization of bisimilarity-like notions via fibrations, coalgebras, and predicate transformers, covering bisimulation metrics and new notions such as bisimulation topology.