English
Related papers

Related papers: Homotopy locally presentable enriched categories

200 papers

We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of…

Category Theory · Mathematics 2023-11-22 Hongyi Chu , Rune Haugseng

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Algebraic Topology · Mathematics 2021-03-10 Sylvain Douteau

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

Logic · Mathematics 2008-12-12 Elias Baro , Margarita Otero

We lay the foundations for a theory of quasi-categories in a monoidal category $\mathcal{V}$ replacing $\mathrm{Set}$, aimed at realising weak enrichment in the category $S\mathcal{V}$ of simplicial objects in $\mathcal{V}$. To accomodate…

Category Theory · Mathematics 2025-05-21 Wendy Lowen , Arne Mertens

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We…

Quantum Algebra · Mathematics 2017-01-02 E. Batista , S. Caenepeel , J. Vercruysse

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

Category Theory · Mathematics 2020-10-28 Martijn den Besten

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

Category Theory · Mathematics 2026-05-04 Oisín Flynn-Connolly

In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the…

Category Theory · Mathematics 2014-11-13 Christina Vasilakopoulou

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…

Algebraic Topology · Mathematics 2017-09-26 Nick Gurski , Niles Johnson , Angélica M. Osorno

We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…

Algebraic Topology · Mathematics 2007-05-23 Daniel Dugger , Brooke Shipley

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

Category Theory · Mathematics 2024-09-04 Adrian Miranda

Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between…

Category Theory · Mathematics 2016-04-28 Rory B. B. Lucyshyn-Wright

We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…

Category Theory · Mathematics 2018-04-13 Martin Szyld

It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model…

Category Theory · Mathematics 2019-12-19 Philippe Gaucher

Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over…

Algebraic Topology · Mathematics 2009-09-25 Mark W. Johnson , Donald Yau

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

Algebraic Topology · Mathematics 2011-05-31 Fernando Muro

We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…

Algebraic Topology · Mathematics 2019-12-06 Boris Chorny , Jiří Rosický

We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…

Category Theory · Mathematics 2017-01-04 Scott Morrison , David Penneys

We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$,…

Category Theory · Mathematics 2022-04-05 Thomas Basile , Damien Lejay , Kevin Morand

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

Category Theory · Mathematics 2014-04-11 A. M. Cegarra , B. A. Heredia , J. Remedios