Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Homotopy theory

Related publications (27)

Cochains are all you need

Kelly Spry Maggs

In this thesis, we apply cochain complexes as an algebraic model of space in a diverse range of mathematical and scientific settings. We begin with an algebraic-discrete Morse theory model of auto-encoding cochain data, connecting the homotopy theory of d ...

EPFL2024

A Hopf algebra model for Dwyer's tame spaces

Haoqing Wu

In this thesis, we give a modern treatment of Dwyer's tame homotopy theory using the language of

\infty

-categories. We introduce the notion of tame spectra and show it has a concrete algebraic description. We then carry out a study of

\infty

-operads an ...

EPFL2022

Computational tools for twisted topological Hochschild homology of equivariant spectra

Kathryn Hess Bellwald

Twisted topological Hochschild homology of Cn-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we intr ...

ELSEVIER2022

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

EPFL2021

Conjugation spaces are cohomologically pure

Jérôme Scherer

Conjugation spaces are equipped with an involution such that the fixed points have the same mod 2 cohomology (as a graded vector space, a ring, and even an unstable algebra) but with all degrees divided by 2, generalizing the classical examples of complex ...

WILEY2021

The algebra of Boolean matrices, correspondence functors, and simplicity

Jacques Thévenaz, Serge Bouc

We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence ...

2020

The Homotopy Theory Of Coalgebras Over Simplicial Comonads

Kathryn Hess Bellwald, Magdalena Kedziorek

We apply the Acyclicity Theorem of Hess, Kedziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjuncti ...

INT PRESS BOSTON, INC2019

Relative Homological Algebra Via Truncations

Jérôme Scherer

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spal-tenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and ...

FIZ KARLSRUHE-LEIBNIZ-INST INFORMATIONSINFRASTRUKTUR2018

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tild ...

Int Press Boston, Inc2017

Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos

Dimitri Zaganidis

This thesis is part of a program initiated by Riehl and Verity to study the category theory of (infinity,1)-categories in a model-independent way. They showed that most models of (infinity,1)-categories form an infinity-cosmos K, which is essentially a cat ...

EPFL2017

Homotopy Excision And Cellularity

Jérôme Scherer, Kay Remo Werndli

Consider a push-out diagram of spaces C B, construct the homotopy push-out, and then the homotopy pull-back of the diagram one gets by forgetting the initial object A. We compare the difference between A and this homotopy pull-back. This difference ...

Annales Inst Fourier2016

Cellular Homotopy Excision

Kay Remo Werndli

There is a classical "duality" between homotopy and homology groups in that homotopy groups are compatible with homotopy pullbacks (every homotopy pullback gives rise to a long exact sequence in homotopy), while homology groups are compatible with homotopy ...

EPFL2016

Kan spectra, group spectra and twisting structures

Marc Stephan

Kan spectra provide a combinatorial model for the stable homotopy category. They were introduced by Dan Kan in 1963 under the name semisimplicial spectra. A Kan spectrum is similar to a pointed simplicial set, but it has simplices in negative degrees as we ...

EPFL2015

Polynomial-Time Computation Of Homotopy Groups And Postnikov Systems In Fixed Dimension

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k >= 2, there is a polynomial-time algorithm that, for a 1-connected topological space X given as a f ...

Siam Publications2014

The homotopy theory of coalgebras over a comonad

Kathryn Hess Bellwald

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We provide concrete ...

2014

Extendability of Continuous Maps Is Undecidable

We consider two basic problems of algebraic topology: the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given topological space ...

Springer2014

Homotopy completion and topological Quillen homology of structured ring spectra

Kathryn Hess Bellwald

Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (eg structured ring spectra). We prove a strong convergenc ...

Geometry & Topology Publications2013

Complete intersections in rational homotopy theory

Kathryn Hess Bellwald

We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure theorem and that mo ...

Elsevier2013

Balanced Fiber Bundles and GKM Theory

Silvia Sabatini

Let T be a torus and B a compact T-manifold. Goresky et al. show in [3] that if B is (what was subsequently called) a GKM manifold, then there exists a simple combinatorial description of the equivariant cohomology ring H-T*(B) as a subring of H-T*(B-T). I ...

Oxford University Press2013

Normal and conormal maps in homotopy theory

Kathryn Hess Bellwald

Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of con ...

Int Press Boston, Inc2012

Related publications (27)

Cochains are all you need

Kelly Spry Maggs

EPFL2024

A Hopf algebra model for Dwyer's tame spaces

Haoqing Wu

In this thesis, we give a modern treatment of Dwyer's tame homotopy theory using the language of

\infty

-categories. We introduce the notion of tame spectra and show it has a concrete algebraic description. We then carry out a study of

\infty

-operads an ...

EPFL2022