ADJOINT ASSOCIATIVITY: AN INVITATION TO ALGEBRA IN ∞-CATEGORIES. Contents Introduction 2 1. Motivation: Reduction of Hochschil
Replacing Homotopy Actions by Topological Actions
arXiv:1412.8411v2 [math.AT] 19 Oct 2015
PDF) Reducibility of self-homotopy equivalences
PDF) Geometric transfer and the homotopy type of the automorphism groups of a manifold
arXiv:1108.2001v1 [math.AT] 9 Aug 2011
BOX COMPLEXES AND HOMOTOPY THEORY OF GRAPHS 1. Introduction
THE HOMOTOPY THEORY OF TYPE THEORIES 1. Introduction Homotopy Type Theory (HoTT) has often been described as the internal langua
Equivariant Acyclic Maps
Stable Homotopy Theory
Homotopy in Functor Categories
PDF) An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis
Subsection 3.2.7 (00WU): Whitehead's Theorem for Kan Complexes—Kerodon
Lecture Notes in Mathematics
PDF) Workshop on the homotopy theory of homotopy theories
PDF) Homotopy colimits of diagrams over posets and variations on a theorem of Thomason
An Idempotent Completion Functor in Homotopy Theory
Model Categories and More General Abstract Homotopy Theory: A Work in What We Like to Think of as Progress William G. Dwyer Phil
PDF) Kripke-Joyal forcing for type theory and uniform fibrations
PDF) Sets in homotopy type theory
PDF) The constructive Kan-Quillen model structure: two new proofs
PDF) Directed homotopy theory, I. The fundamental category
