Homotopy limits and colimits: The practice

2014 ◽  
pp. 76-96
Author(s):  
Emily Riehl
Keyword(s):  
Homotopy Limits

Commuting homotopy limits

1977 ◽  
Vol 153 (1) ◽  
pp. 59-82 ◽  
Author(s):  
Rainer M. Vogt
Keyword(s):  
Homotopy Limits

scholarly journals Homotopy limits in type theory

2015 ◽  
Vol 25 (5) ◽  
pp. 1040-1070 ◽  
Author(s):  
JEREMY AVIGAD ◽  
KRZYSZTOF KAPULKIN ◽  
PETER LEFANU LUMSDAINE
Keyword(s):  
Homotopy Type ◽  
Systematic Study ◽  
Type Theory ◽  
Proof Assistant ◽  
Classical Approach ◽  
Homotopy Type Theory ◽  
The Coq Proof Assistant ◽  
Homotopy Limits ◽  
Coq Proof Assistant

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to the formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.

scholarly journals Bousfield–Kan completion of homotopy limits

Topology ◽  
2003 ◽  
Vol 42 (5) ◽  
pp. 1083-1099 ◽  
Author(s):  
Emmanuel Dror Farjoun
Keyword(s):  
Homotopy Limits

scholarly journals Commuting Homotopy Limits and Smash Products

K-Theory ◽  
2003 ◽  
Vol 30 (2) ◽  
pp. 137-165 ◽  
Author(s):  
Wolfgang Lück ◽  
Holger Reich ◽  
Marco Varisco
Keyword(s):  
Homotopy Limits
Sign in / Sign up

Export Citation Format

Share Document