Sheaf theory

Results: 899



#Item
1Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory

Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    2CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated BarsottiTate group of level n, heigh

    CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated BarsottiTate group of level n, heigh

    Add to Reading List

    Source URL: www2.math.kyushu-u.ac.jp

    Language: English
    3217  Documenta Math. Stable Maps of Curves Robert F. Coleman

    217 Documenta Math. Stable Maps of Curves Robert F. Coleman

    Add to Reading List

    Source URL: www.math.uiuc.edu

    Language: English - Date: 2003-12-22 16:28:30
    4357  Documenta Math. Operational K -Theory Dave Anderson and Sam Payne

    357 Documenta Math. Operational K -Theory Dave Anderson and Sam Payne

    Add to Reading List

    Source URL: www.math.uiuc.edu

    Language: English - Date: 2015-05-08 10:21:24
    5Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

    Internal Completeness of Categories of Domains Paul Taylor 1985 This paper was presented at Category Theory and Computer Programming bf 1, University of Surrey (Guildford), SeptemberIt was published in Springer-Ve

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 12:48:17
    6479  Doc. Math. J. DMV Bifurcation from Relative Equilibria of Noncompact Group Actions:

    479 Doc. Math. J. DMV Bifurcation from Relative Equilibria of Noncompact Group Actions:

    Add to Reading List

    Source URL: www.math.uiuc.edu

    Language: English - Date: 2014-07-13 07:29:18
    7571  Documenta Math. A Generalization of Mumford’s Geometric Invariant Theory

    571 Documenta Math. A Generalization of Mumford’s Geometric Invariant Theory

    Add to Reading List

    Source URL: documenta.sagemath.org

    Language: English - Date: 2002-02-07 06:22:54
    8Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

    Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

    Add to Reading List

    Source URL: www.kevinhouston.net

    Language: English - Date: 2010-09-20 07:31:14
    9ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007

    ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007

    Add to Reading List

    Source URL: 131.220.77.52

    Language: English - Date: 2011-03-02 09:32:58
    10CORRECTIONS TO EXPONENTIAL SUMS AND DIFFERENTIAL EQUATIONS NICHOLAS M. KATZ Corrections to Chapter 7 page 232, line 6: “7.40.4” should be

    CORRECTIONS TO EXPONENTIAL SUMS AND DIFFERENTIAL EQUATIONS NICHOLAS M. KATZ Corrections to Chapter 7 page 232, line 6: “7.40.4” should be

    Add to Reading List

    Source URL: web.math.princeton.edu

    Language: English - Date: 2007-03-14 19:25:01