Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet Abstract. W - Kleisli category - Document - PDFSEARCH.IO

First Page	Meta Content
	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Add to Reading List Document Date: 2013-03-26 18:38:51 Open Document File Size: 160,78 KB Share Result on Facebook Company Hughes and Jacobs / / Currency pence / cent / / / Facility Tetsuya Sato Research Institute / Kyoto University / / IndustryTerm mono factorisation systems / transition systems / labelled transition systems / / Organization Kyoto University / Kyoto / Institute for Mathematical Sciences / / Person Tetsuya Sato / Katsumata Sato / / Position first author / / SocialTag Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory

Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. WAdd to Reading List