Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi

First Page		Document Content
Date: 2013-07-01 12:49:00 Order theory Non-standard analysis Adjoint functors Boolean algebra Ultrafilter Stone–Čech compactification Filter Monad Ultraproduct Topology Mathematics General topology		Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi Add to Reading List Source URL: www.emis.de Download Document from Source Website File Size: 549,29 KB Share Document on Facebook

	JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach DocID: 1vqHW - View Document
	Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1 Institute of Artificial Intelligence, University of Groningen DocID: 1vpMN - View Document
	Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015 DocID: 1vmik - View Document
	Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond DocID: 1v9Mh - View Document
	J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ DocID: 1v7hr - View Document