English
Related papers

Related papers: Homotopical interpretation of globular complex by …

200 papers

The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy…

Algebraic Topology · Mathematics 2007-05-23 Jelena Grbic , Stephen Theriault

We construct a triangulated category of cyclotomic complexes, a homological counterpart of cyclotomic spectra of Bokstedt and Madsen. We also construct a version of the Topological Cyclic Homology functor TC for cyclotomic complexes, and an…

Algebraic Topology · Mathematics 2010-03-16 D. Kaledin

A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology…

Algebraic Topology · Mathematics 2023-06-22 Martin Raussen

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Logic · Mathematics 2020-09-08 Artur Piȩkosz

Cell structures were introduced by W. Debski and E. Tymchatyn as a way to study some classes of topological spaces and their continuous functions by means of discrete approximations. In this work we weaken the notion of cell structure and…

General Topology · Mathematics 2023-10-23 Ana Hernández-Dávila , Benjamín A. Itzá-Ortiz , Rocío Leonel-Gómez

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…

Algebraic Topology · Mathematics 2022-03-25 Gergely Szűcs , Søren Galatius

We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…

Algebraic Topology · Mathematics 2021-06-15 Joe Chuang , Andrey Lazarev

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

Algebraic Topology · Mathematics 2018-10-22 Urtzi Buijs , Yves Félix , Aniceto Murillo , Daniel Tanré

This paper is an expanded version of two talks given by the author at the Summer School on the Interactions between Homotopy Theory and Algebra at the University of Chicago, July 26 to August 6, 2004. It describes a connection between model…

Algebraic Topology · Mathematics 2007-05-23 Mark Hovey

For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model…

Algebraic Geometry · Mathematics 2007-05-23 Bertrand Toen , Gabriele Vezzosi

In this paper, we apply an explicit construction of a simplicial powering in dg-categories, due to Holstein (2016) and Arkhipov and Poliakova (2018), as well as our own results on homotopy ends (Arkhipov and {\O}rsted 2018), to obtain an…

Category Theory · Mathematics 2019-04-12 Sergey Arkhipov , Sebastian Ørsted

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

Algebraic Topology · Mathematics 2011-03-28 Thomas M. Fiore , Wolfgang Lück , Roman Sauer

Let $A$ be a virtually Gorenstein algebra of finite CM-type. We establish a duality between the subcategory of compact objects in the homotopy category of Gorenstein projective left $A$-modules and the bounded Gorenstein derived category of…

Representation Theory · Mathematics 2014-02-14 Nan Gao

Let $C$ be an arrangement of affine hyperplanes in a complex affine space $X$, $D$ the ring of algebraic differential operators on $X$. We define a category of quivers associated with $C$. A quiver is a collection of vector spaces, attached…

Quantum Algebra · Mathematics 2007-05-23 S. Khoroshkin , A. Varchenko

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…

Algebraic Topology · Mathematics 2026-04-21 Dan Petersen , Victor Roca i Lucio , Sinan Yalin

Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…

Algebraic Topology · Mathematics 2014-12-03 Andrew J. Blumberg , Emily Riehl

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

Category Theory · Mathematics 2018-07-19 Misha Gavrilovich , Konstantin Pimenov

Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…

Category Theory · Mathematics 2017-12-12 Hirokazu Nishimura

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

Algebraic Topology · Mathematics 2020-12-04 Ronald Brown

We construct a category $\OrdFor$ as an arboreal extension of $\Delta_{\mathrm{epi}}\subseteq\Delta$, whose morphisms are ordered forests composed by grafting. We define a full functor $\pi\colon \OrdFor\to\Delta_{\mathrm{epi}}^{op}$…

Algebraic Topology · Mathematics 2026-04-03 Atabey Kaygun