Relators and Metric Bisimulations

@article{Rutten1998RelatorsAM,
  title={Relators and Metric Bisimulations},
  author={Jan J. M. M. Rutten},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={1998},
  volume={11},
  pages={252-258}
}
Coalgebras of set functors preserving weak pullbacks are particularly well behaved Invoking a result by Carboni Kelly and Wood we show that this can be explained by the fact that such functors can be uniquely extended to a relator This insight next suggests a de nition of metric bisimulation 

From This Paper

Topics from this paper.
35 Citations
13 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 35 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Themes in nal semantics

  • M Len, Lenisa
  • Themes in nal semantics
  • 1998

FTP-available at ftp.cwi.nl as pub

  • Cs-R Report, Cwi
  • FTP-available at ftp.cwi.nl as pub
  • 1996

A nal coalgebra theorem

  • Am, P Aczel, N Mendler
  • Proceedings category theory and computer science
  • 1989

Similar Papers

Loading similar papers…