Homotopy theory
Transversal homotopy theory of Whitney stratified manifolds
... Transversal homotopy theory does not produce groups, in general, unlike ‘ordi- nary’ homotopy ...transversal homotopy with ordinary homotopy in later ...ordinary homotopy, one ...
141
8-2-2012 12:00 AM A Homotopy Theory for Diffeological Spaces
... I would like to express my sincere gratitude to my supervisor Dan Christensen. He introduced me to the project of building a homotopy theory on smooth spaces and spent a lot of time and energy working with ...
147
Cocommutative coalgebras: homotopy theory and Koszul duality
... In light of our results it is natural to look for a CMC structure on all coas- sociative (noncommutative and nonconilpotent) algebras so that the forgeful functor from all cocommutative coalgebras is part of a Quillen ...
39
Bachmann, Tom (2016): Invertible objects in motivic homotopy theory. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
... stable homotopy theory equivariant with respect to some group ...equivariant homotopy category would be to invert S 1 with respect to the smash ...satisfactory theory of ...motivic ...
182
Introduction – from type theory and homotopy theory to univalent foundations
... A second group of papers, which includes the papers by Barras, Coquand and Huber; by van den Berg and Moerdijk; by van Oosten; and by Shulman, is concerned with the investigation of models of type theories. Very briefly, ...
6
Analysis of Problems in Homotopy Theory
... Motivic homotopy theory has been profitable for the conventional homotopy researchers as ...stable homotopy speculation, used as a part of a urgent way the "cut filtration" in ...
11
PART I INTRODUCTION TO ISOVARIANT HOMOTOPY THEORY
... classical homotopy theory and obstruction theory to categories of D -diagrams with values in the category of CW complexes, and subsequent generalizations of ...
12
The homotopy theory of Khovanov homology
... of homotopy theory to Khovanov homology there are several natural ...its homotopy type is a link invariant, and finally study this space using homotopy ...in homotopy theoretic terms. By ...
36
Homotopy theory of moduli spaces
... rational homotopy theory [BPS89, BS97, Hae82] and using Lie models [Ber15, BFM09, ...The homotopy groups of function spaces were computed in terms of Harrison-Andr´ e-Quillen cohomology by Block and ...
102
EQUIVARIANT STABLE HOMOTOPY THEORY. Contents
... The entire foundational framework described in [22] works equally well in the presence of a compact Lie group G acting on all objects in sight. We here run through the equivariant version of [22], with emphasis on the ...
48
Homotopy theory of modules over diagrams of rings
... Under certain conditions, cellularizations (or right Bousfield localizations) of these ad- junctions induce Quillen equivalences. As an application we show that a cellularization of a category of modules over a diagram ...
16
Impact of Homotopy Theory
... type theory is another branch of arithmetic that joins parts of a few extraordinary fields in a very surprising ...between homotopy hypothesis what's more, sort hypothesis. Homotopy hypothesis is an ...
17
Geometric models for higher Grothendieck–Witt groups in A1 homotopy theory
... The proof of the K-theory analog of Theorem 1.1 has two steps. The first consists in showing that the K-theory presheaf K is homotopy invariant and satisfies the Nisnevich Brown-Gersten property. ...
22
Consistency Results in Topology and Homotopy Theory
... Classical homotopy idempotent functors appear frequently in algebraic ...A homotopy idempotent functor is a functor ? from some model category to itself that carries weak equivalences to weak equivalences ...
5
Contributions to the homotopy theory of mapping spaces
... we sho'llthat a space of embeddings or k-mersions with infinite dimensional target, or the appropriate induced limit space over an expanding system of finite dimensional manifolds in the[r] ...
139
Homotopy-initial algebras in type theory
... type theory, homotopy theory and higher-dimensional category theory [4, 5, 12, 19, 23], which are at the core of homotopy type theory [31] and Voevodsky’s univalent foundations ...
42
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
... Another limitation is that the mapping of higher inductive type into the universe requires the functions represented by paths to be bijective. We cannot specify all functions as bijections. The functions with simple ...
16
Geometric and homotopy theoretic methods in Nielsen coincidence theory
... of homotopy theory and of other branches of algebraic topology to de- cide which of the two values occur actually, but it can be done at least for k ≤ 10 ...
15
Homotopy approximation of modules
... relative homotopy theory of modules, including the (module) homotopy exact sequence was introduced by Peter Hilton ([11], Chap- ter ...developed homotopy theory in module theory, ...
8
On Relative Homotopy Groups of Modules
... developed homotopy theory in module theory, parallel to the existing homotopy theory in ...unlike homotopy theory in topology, there are two types of homotopy ...
13