<--- Back to Details
First PageDocument Content
Homotopy theory / Mathematics / Topology / Abstract algebra / Model category / Simplicial set / Simplicial presheaf / Quillen adjunction / Weak equivalence / Homotopy category / Fibration / Nerve
Date: 2003-11-07 09:15:53
Homotopy 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

Download Document from Source Website

File Size: 198,75 KB

Share Document on Facebook

Similar Documents

COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory

COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory

DocID: 1xUV4 - View Document

Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015

DocID: 1uLwU - View Document

Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io

Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io

DocID: 1uHY0 - View Document

Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

DocID: 1um1h - View Document

Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

DocID: 1ukrV - View Document