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

Concept

Homotopie

Publications associées (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

Reduced representations of complexes, signals, and multifiltrations

Celia Camille Hacker

The field of computational topology has developed many powerful tools to describe the shape of data, offering an alternative point of view from classical statistics. This results in a variety of complex structures that are not always directly amenable for ...

EPFL2022

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

The cotangent complex and Thom spectra

Nima Rasekh

The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of E-infinity-ring spectra in various ways. In this work we first establish, in the context o ...

2021

Towards the K(2)-local homotopy groups of Z

Philip Egger

Previously (Adv. Math. 360 (2020) art. id. 106895), we introduced a class (Z) over tilde of 2-local finite spectra and showed that all spectra Z is an element of (Z) over tilde admit a v(2)-self-map of periodicity 1. The aim here is to compute the K(2)-loc ...

GEOMETRY & TOPOLOGY PUBLICATIONS2020

A Homotopy Method with Adaptive Basis Selection for Computing Multiple Solutions of Differential Equations

Jan Sickmann Hesthaven

The homotopy continuation method has been widely used to compute multiple solutions of nonlinear differential equations, but the computational cost grows exponentially based on the traditional finite difference and finite element discretizations. In this w ...

SPRINGER/PLENUM PUBLISHERS2020

Twisting structures and morphisms up to strong homotopy

Kathryn Hess Bellwald

We define twisted composition products of symmetric sequences via classifying morphisms rather than twisting cochains. Our approach allows us to establish an adjunction that simultaneously generalizes a classic one for algebras and coalgebras, and the bar- ...

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

Towards new invariants for principal bundles

Martina Rovelli

We investigate the theory of principal bundles from a homotopical point of view. In the first part of the thesis, we prove a classification of principal bundles over a fixed base space, dual to the well-known classification of bundles with a fixed structur ...

EPFL2017

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

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

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

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

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

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

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

Publications associées (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