A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UK - Constant sheaf - Document - PDFSEARCH.IO

First Page	Meta Content
	A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UK Add to Reading List Document Date: 2013-04-11 07:43:41 Open Document File Size: 359,59 KB Share Result on Facebook Company Natural Transformations / T. / Spaces Sheaves / / Country United Kingdom / / Event Product Issues / Product Recall / / Facility Bar Induction / Mart´ın Escard´o University of Birmingham / / IndustryTerm cartesian product / categorical product / / Organization University of Birmingham / / Product 2.1 Sheaves / Continuous Realizability Semantics / / SocialTag Continuous function Uniform continuity Sheaf Coherent topology Discrete space Grothendieck topology Locally constant function Topological space Space Topology

A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UKAdd to Reading List