<--- Back to Details
First PageDocument Content
Homotopy theory / Mathematics / Abstract algebra / Algebra / Model category / Simplicial presheaf / Simplicial set / A homotopy theory / Weak equivalence / Fibration / Motivic cohomology / Kan fibration
Date: 2001-01-23 03:50:27
Homotopy 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

Download Document from Source Website

File Size: 581,94 KB

Share Document on Facebook

Similar Documents

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

DocID: 1ukrV - View Document

A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

DocID: 1tJnk - View Document

MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

DocID: 1tGWD - View Document

A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

DocID: 1tFYq - View Document