Intrinsic function

Intrinsic function
Results: 21

#	Item
21	The intrinsic topology of a Martin-L¨of universe Mart´ın H. Escard´o February 2012, version of May 15, 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-15 18:09:46 Continuous function Sheaf Topological space Intuitionistic type theory Weak topology Topos Discrete space Closure Compact space Topology General topology Mathematics

UPDATE