Grothendieck universe

Results: 14



#Item
1MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Course notes - Handout 1 Jos´e A. Ca˜ nizo September 28, 2012

MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Course notes - Handout 1 Jos´e A. Ca˜ nizo September 28, 2012

Add to Reading List

Source URL: canizo.org

Language: English - Date: 2015-01-23 17:42:09
2Zhen Lin Low University of Cambridge Accessible functors and inaccessible cardinals The Grothendieck–Verdier universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One

Zhen Lin Low University of Cambridge Accessible functors and inaccessible cardinals The Grothendieck–Verdier universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English - Date: 2013-06-21 05:36:13
    3SET THEORY  Contents 1. Introduction 2. Everything is a set 3. Classes

    SET THEORY Contents 1. Introduction 2. Everything is a set 3. Classes

    Add to Reading List

    Source URL: stacks.math.columbia.edu

    Language: English - Date: 2015-04-15 15:08:24
    4Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

    Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2014-07-02 11:28:23
    5The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK  4FTW, June 2012, Ljubljana, Slovenia

    The intrinsic topology of a univalent universe Mart´ın Escard´ o University of Birmingham, UK 4FTW, June 2012, Ljubljana, Slovenia

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2012-06-19 08:18:06
    6Symmetry, Integrability and Geometry: Methods and Applications  SIGMA[removed]), 033, 9 pages On Quadrirational Yang–Baxter Maps? V.G. PAPAGEORGIOU

    Symmetry, Integrability and Geometry: Methods and Applications SIGMA[removed]), 033, 9 pages On Quadrirational Yang–Baxter Maps? V.G. PAPAGEORGIOU

    Add to Reading List

    Source URL: www.emis.de

    Language: English - Date: 2010-04-16 01:09:14
    7Theory and Applications of Categories, Vol. 27, No. 7, 2012, pp. 97–173.  EXACT COMPLETIONS AND SMALL SHEAVES MICHAEL SHULMAN Abstract. We prove a general theorem which includes most notions of “exact completion” a

    Theory and Applications of Categories, Vol. 27, No. 7, 2012, pp. 97–173. EXACT COMPLETIONS AND SMALL SHEAVES MICHAEL SHULMAN Abstract. We prove a general theorem which includes most notions of “exact completion” a

    Add to Reading List

    Source URL: www.emis.de

    Language: English - Date: 2012-09-04 13:55:00
    8

    PDF Document

    Add to Reading List

    Source URL: www.math.harvard.edu

    Language: English - Date: 2011-02-18 10:48:43
    9The universe is indiscrete Mart´ın H. Escard´o University of Birmingham, UK

    The universe is indiscrete Mart´ın H. Escard´o University of Birmingham, UK

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2013-11-15 19:33:38
    10FORMALIZED MATHEMATICS Number 1, January 1990

    FORMALIZED MATHEMATICS Number 1, January 1990

    Add to Reading List

    Source URL: markun.cs.shinshu-u.ac.jp

    Language: English - Date: 2010-06-24 21:10:08