Presheaf

Results: 21



#Item
1

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO Abstract. We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf mod

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2013-05-09 12:24:31
    2

    Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

    Add to Reading List

    Source URL: hott-uf.github.io

    - Date: 2018-03-28 14:04:14
      3Homotopy theory / Mathematics / Topology / Abstract algebra / Model category / Simplicial set / Simplicial presheaf / Quillen adjunction / Weak equivalence / Homotopy category / Fibration / Nerve

      SIMPLICIAL STRUCTURES ON MODEL CATEGORIES AND FUNCTORS By CHARLES REZK, STEFAN SCHWEDE, and BROOKE SHIPLEY Abstract. We produce a highly structured way of associating a simplicial category to a model category which impr

      Add to Reading List

      Source URL: www.math.uni-bonn.de

      Language: English - Date: 2003-11-07 09:15:53
      4Mathematics / Algebra / Abstract algebra / Homotopy theory / Homotopy category / Spectrum / Triangulated category / Homotopy / Representable functor / Motive / Model category / Simplicial presheaf

      393 Documenta Math. Slices and Transfers Marc Levine1

      Add to Reading List

      Source URL: www.math.uiuc.edu

      Language: English - Date: 2010-06-21 15:52:34
      5Homotopy theory / Mathematics / Abstract algebra / Algebra / Model category / Simplicial presheaf / Simplicial set / A homotopy theory / Weak equivalence / Fibration / Motivic cohomology / Kan fibration

      445 Documenta Math. Motivic Symmetric Spectra J. F. Jardine

      Add to Reading List

      Source URL: documenta.sagemath.org

      Language: English - Date: 2001-01-23 03:50:27
      6Abstract algebra / Algebra / Mathematics / Homotopy theory / Sheaf theory / Category theory / Functors / Algebraic topology / Simplicial presheaf / Model category / Sheaf / Simplicial set

      245 Doc. Math. J. DMV Boolean Localization, in Practice

      Add to Reading List

      Source URL: documenta.sagemath.org

      Language: English - Date: 2014-07-13 07:29:15
      7Mathematics / Abstract algebra / Algebra / Homotopy theory / Category theory / Functors / Algebraic topology / Adjoint functors / Model category / Simplicial presheaf / Bousfield localization / Simplicial set

      489 Documenta Math. Motivic Functors ¨ ndigs, Paul Arne Østvær

      Add to Reading List

      Source URL: www.math.uiuc.edu

      Language: English - Date: 2003-12-22 11:48:08
      8Mathematics / Algebra / Abstract algebra / Homotopy theory / Spectrum / Homotopy category / Triangulated category / Homotopy / Representable functor / Motive / Model category / Simplicial presheaf

      393 Documenta Math. Slices and Transfers Marc Levine1

      Add to Reading List

      Source URL: documenta.sagemath.org

      Language: English - Date: 2010-06-21 15:52:34
      9Homotopy theory / Sheaf theory / Category theory / Functors / Algebraic topology / Simplicial presheaf / Model category / Sheaf / Simplicial set / Topos / Grothendieck topology / Stalk

      245 Doc. Math. J. DMV Boolean Localization, in Practice

      Add to Reading List

      Source URL: www.math.uiuc.edu

      Language: English - Date: 2014-07-13 07:29:15
      10Homotopy theory / Mathematics / Topology / Algebra / Model category / Homotopy category / Spectrum / Equivariant map / Cohomology / Equivariant stable homotopy theory / Simplicial presheaf / Homotopy

      THE HOMOTOPY LIMIT PROBLEM FOR HERMITIAN K-THEORY, EQUIVARIANT MOTIVIC HOMOTOPY THEORY AND MOTIVIC REAL COBORDISM P.HU, I.KRIZ, K.ORMSBY 1. I

      Add to Reading List

      Source URL: www.math.lsa.umich.edu

      Language: English - Date: 2011-01-03 17:04:40
      UPDATE