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 - 43rd - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-03-26 18:38:51 Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory Order 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. W Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Download Document from Source Website File Size: 160,78 KB Share Document on Facebook

	Geometry & Topology–Topological properties of Hilbert schemes of almost-complex four-manifolds II DocID: 1xVL5 - View Document
	Algebraic & Geometric Topology–Generic representations of orthogonal groups: the mixed functors DocID: 1xVsM - View Document
	Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD DocID: 1xVky - View Document
	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich DocID: 1xVcN - View Document
	NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich DocID: 1xV3c - View Document