1![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](https://www.pdfsearch.io/img/a32a0e410dd35e0d80a75d44c11daad8.jpg) | Add to Reading ListSource URL: hott-uf.github.ioLanguage: English - Date: 2018-08-13 11:55:33
|
---|
2![Lecture 2: Homotopical Algebra Nicola Gambino School of Mathematics University of Leeds Young Set Theory Lecture 2: Homotopical Algebra Nicola Gambino School of Mathematics University of Leeds Young Set Theory](https://www.pdfsearch.io/img/fb181f61dfad37c072599cafdf774bae.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2016-06-15 05:44:27
|
---|
3![Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT.](https://www.pdfsearch.io/img/c8a4ed72f095c6f5e616e58617986e9f.jpg) | Add to Reading ListSource URL: www.math.uni-bonn.deLanguage: English - Date: 2014-11-09 16:34:04
|
---|
4![Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM)](https://www.pdfsearch.io/img/af93e6a417b54acc61729b6249a01b5e.jpg) | Add to Reading ListSource URL: logica.dmi.unisa.itLanguage: English - Date: 2015-05-15 06:13:17
|
---|
5![Homotopical Algebra for C ∗ -algebras The 3rd Annual EU-NCG conference, June 28 - July 2, 2010 Otgonbayar Uuye University of Copenhagen, Denmark Homotopical Algebra for C ∗ -algebras The 3rd Annual EU-NCG conference, June 28 - July 2, 2010 Otgonbayar Uuye University of Copenhagen, Denmark](https://www.pdfsearch.io/img/2a61442c99d8b51ef089433f08365d70.jpg) | Add to Reading ListSource URL: www.cardiff.ac.ukLanguage: English - Date: 2011-03-25 10:16:16
|
---|
6![Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗ Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗](https://www.pdfsearch.io/img/613606a6a7419f2515294e754d6138a4.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2014-07-29 20:48:31
|
---|
7![HOMOTOPICAL EXCISION, AND HUREWICZ THEOREMS, FOR n-CUBES OF SPACES ∗ Ronald Brown and Jean-Louis Loday Introduction The fact that the relative homotopy groups do not satisfy excision makes the computation of absolute h HOMOTOPICAL EXCISION, AND HUREWICZ THEOREMS, FOR n-CUBES OF SPACES ∗ Ronald Brown and Jean-Louis Loday Introduction The fact that the relative homotopy groups do not satisfy excision makes the computation of absolute h](https://www.pdfsearch.io/img/53fedf65b316a5013a654b64912e25e2.jpg) | Add to Reading ListSource URL: pages.bangor.ac.ukLanguage: English - Date: 2006-12-24 10:28:00
|
---|
8![ALGEBRAIC COLIMIT CALCULATIONS IN HOMOTOPY THEORY USING FIBRED AND COFIBRED CATEGORIES RONALD BROWN AND RAFAEL SIVERA Abstract. Higher Homotopy van Kampen Theorems allow some colimit calculations of certain homotopical i ALGEBRAIC COLIMIT CALCULATIONS IN HOMOTOPY THEORY USING FIBRED AND COFIBRED CATEGORIES RONALD BROWN AND RAFAEL SIVERA Abstract. Higher Homotopy van Kampen Theorems allow some colimit calculations of certain homotopical i](https://www.pdfsearch.io/img/919c459c0c15e5abc0ce0f2da925b420.jpg) | Add to Reading ListSource URL: pages.bangor.ac.ukLanguage: English - Date: 2009-04-24 09:00:50
|
---|
9![J. Symbolic Computation[removed], 1–13 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Computation and Homotopical Applications of Induced Crossed Modules J. Symbolic Computation[removed], 1–13 doi:[removed]jsco[removed]Available online at http://www.idealibrary.com on Computation and Homotopical Applications of Induced Crossed Modules](https://www.pdfsearch.io/img/9cca671093a78a759a9ae08ad6723c20.jpg) | Add to Reading ListSource URL: pages.bangor.ac.ukLanguage: English - Date: 2007-03-14 19:06:11
|
---|