English
Related papers

Related papers: Enriched Derivators

200 papers

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

K-Theory and Homology · Mathematics 2022-06-23 George Raptis

We develop a homotopy theoretical version of classical Morita theory using the notion of a strong monad. It was Anders Kock who proved that a monad T in a monoidal category E is strong if and only if T is enriched in E. We prove that this…

Category Theory · Mathematics 2013-02-13 Kruna Segrt Ratkovic

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

This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…

Algebraic Geometry · Mathematics 2018-05-29 John D. Berman

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories…

Algebraic Topology · Mathematics 2020-11-03 Rune Haugseng

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…

Category Theory · Mathematics 2015-11-10 Richard Garner , Michael Shulman

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

Category Theory · Mathematics 2022-12-13 John Bourke , Stephen Lack , Lukáš Vokřínek

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…

Category Theory · Mathematics 2007-05-23 Isar Stubbe

We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…

Category Theory · Mathematics 2022-08-03 Hoang Kim Nguyen , George Raptis , Christoph Schrade

We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of…

K-Theory and Homology · Mathematics 2024-05-21 Yasuhiko Asao , Sergei O. Ivanov

We study (not necessarily connected) Z-graded A-infinity-algebras and their A-infinity-modules. Using the cobar and the bar construction and Quillen's homotopical algebra, we describe the localisation of the category of A-infinity-algebras…

Category Theory · Mathematics 2007-05-23 Kenji Lefèvre-Hasegawa

A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…

Category Theory · Mathematics 2019-06-10 Martin Gallauer

This work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the $E_0$-center ($E_1$-center or $E_2$-center)…

Category Theory · Mathematics 2024-07-09 Liang Kong , Wei Yuan , Zhi-Hao Zhang , Hao Zheng

In this work, we explore a double categorical framework for categories of enriched graphs, categories and the newly introduced notion of cocategories. A fundamental goal is to establish an enrichment of V-categories in V-cocategories, which…

Category Theory · Mathematics 2018-09-27 Christina Vasilakopoulou

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…

Category Theory · Mathematics 2025-10-14 Javier Gutiérrez García , Ulrich Höhle

This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory, supplementing evidence that Category Theory can provide valuable insights into the construction and explainability of…

Machine Learning · Computer Science 2025-01-28 Matthew Pugh , Jo Grundy , Corina Cirstea , Nick Harris

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

Algebraic Topology · Mathematics 2017-09-01 Bertrand Guillou , J. P. May , Jonathan Rubin

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…

Category Theory · Mathematics 2021-07-27 Jack Kelly

In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have…

Category Theory · Mathematics 2020-04-28 Reid William Barton

Categories can be represented at different levels of abstraction, from prototypes focused on the most typical members to remembering all observed exemplars of the category. These representations have been explored in the context of…

Machine Learning · Computer Science 2024-06-05 Liyi Zhang , Logan Nelson , Thomas L. Griffiths