n-Relative Categories

C. Barwick,D. M. Kan

DOI: https://doi.org/10.48550/arXiv.1102.0186

2011-02-01

Abstract:We introduce, for every positive integer n, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e. homotopy theories of ... of homotopy theories.

Algebraic Topology,Category Theory

What problem does this paper attempt to address?

A relative 2-nerve

Fernando Abellán García,Tobias Dyckerhoff,Walker H. Stern

DOI: https://doi.org/10.2140/agt.2020.20.3147

2020-01-22

Abstract:In this work, we introduce a 2-categorical variant of Lurie's relative nerve functor. We prove that it defines a right Quillen equivalence which, upon passage to $\infty$-categorical localizations, corresponds to Lurie's scaled unstraightening equivalence. In this $\infty$-bicategorical context, the relative 2-nerve provides a computationally tractable model for the Grothendieck construction which becomes equivalent, via an explicit comparison map, to Lurie's relative nerve when restricted to 1-categories.

Algebraic Topology,Category Theory
A functorial approach to $n$-abelian categories

Vitor Gulisz

2024-10-09

Abstract:We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and representation theory techniques to understand higher homological algebra. As an application, we present two possible generalizations of the axioms "every monomorphism is a kernel" and "every epimorphism is a cokernel" of an abelian category to $n$-abelian categories. We also specialize our results to modules over rings, thereby describing when the category of finitely generated projective modules over a ring is $n$-abelian. Moreover, we establish a correspondence for $n$-abelian categories with additive generators, which extends the higher Auslander correspondence.

Category Theory,Representation Theory
Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

Alejandro Argudín Monroy,Octavio Mendoza Hernández

2024-06-10

Abstract:In this paper we introduce a special kind of relative (co)resolutions associated to a pair of classes of objects in an abelian category $\mathcal{C}.$ We will see that, by studying these relative (co)resolutions, we get a possible generalization of a part of the Auslander-Buchweitz approximation theory that is useful for developing $n$-$\mathcal{X}$-tilting theory in [4]. With this goal, new concepts as $\mathcal{X}$-complete and $\mathcal{X}$-hereditary pairs are introduced as a generalization of complete and hereditary cotorsion pairs. These pairs appear in a natural way in the study of the category of representations of a quiver in an abelian category [5]. Our main results will include an existence theorem for relative approximations, among other results related with closure properties of relative (co)resolution classes and relative homological dimensions which are essential in the development of $n$-$\mathcal{X}$-tilting theory in [4].

Representation Theory,Category Theory
Relative Higher Homology and Representation Theory

Rasool Hafezi,Javad Asadollahi,Yi Zhang

2023-11-10

Abstract:Higher homological algebra, basically done in the framework of an $n$-cluster tilting subcategory $\mathcal{M}$ of an abelian category $\mathcal{A}$, has been the topic of several recent researches. In this paper, we study a relative version, in the sense of Auslander-Solberg, of the higher homological algebra. To this end, we consider an additive sub-bifunctor $F$ of $\mathrm{Ext}^n_{\mathcal{M}}( -,-)$ as the basis of our relative theory. This, in turn, specifies a collection of $n$-exact sequences in $\mathcal{M}$, which allows us to delve into the relative higher homological algebra. Our results include a proof of the relative $n$-Auslander-Reiten duality formula, as well as an exploration of relative Grothendieck groups, among other results. As an application, we provide necessary and sufficient conditions for $\mathcal{M}$ to be of finite type.

Rings and Algebras,Representation Theory
The category of extensions and a characterisation of $n$-exangulated functors

Raphael Bennett-Tennenhaus,Johanne Haugland,Mads Hustad Sandøy,Amit Shah

DOI: https://doi.org/10.1007/s00209-023-03341-3

2023-10-27

Abstract:Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information. We study how functors between categories of extensions relate to those at the level of the original categories. When the additive categories in question are $n$-exangulated, this leads to a characterisation of $n$-exangulated functors. Our approach enables us to study $n$-exangulated categories from a $2$-categorical perspective. We introduce $n$-exangulated natural transformations and characterise them using categories of extensions. Our characterisations allow us to establish a $2$-functor between the $2$-categories of small $n$-exangulated categories and small exact categories. A similar result with no smallness assumption is also proved. We employ our theory to produce various examples of $n$-exangulated functors and natural transformations. Although the motivation for this article stems from representation theory and the study of $n$-exangulated categories, our results are widely applicable: several require only an additive category equipped with a biadditive functor with no extra assumptions; others can be applied by endowing an additive category with its split $n$-exangulated structure.

Category Theory,Representation Theory
A homotopy coherent nerve for (∞, n )-categories

Lyne Moser,Nima Rasekh,Martina Rovelli

DOI: https://doi.org/10.1016/j.jpaa.2024.107620

IF: 0.834

2024-01-25

Journal of Pure and Applied Algebra

Abstract:In the case of (∞,1) -categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of (∞,1) -categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. In this paper, we construct a homotopy coherent nerve for (∞,n) -categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in (∞,n−1) -categories and of Segal category objects in (∞,n−1) -categories. This similarly enables us to define homotopy coherent diagrams of (∞,n) -categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications.

mathematics, applied
Model structures for diagrammatic $(\infty, n)$-categories

Clémence Chanavat,Amar Hadzihasanovic

2024-10-31

Abstract:Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are diagrammatic sets in which every round pasting diagram is equivalent to a single cell -- its weak composite -- and propose them as a model of $(\infty, \infty)$-categories. For each $n < \infty$, we then construct a model structure whose fibrant objects are those $(\infty, \infty)$-categories whose cells in dimension $> n$ are all weakly invertible. We show that weak equivalences between fibrant objects are precisely morphisms that are essentially surjective on cells of all dimensions. On the way to this result, we also construct model structures for $(\infty, n)$-categories on marked diagrammatic sets, which split into a coinductive and an inductive case when $n = \infty$, and prove that they are Quillen equivalent to the unmarked model structures when $n < \infty$ and in the coinductive case of $n = \infty$. Finally, we prove that the $(\infty, 0)$-model structure is Quillen equivalent to the classical model structure on simplicial sets. This establishes the first proof of the homotopy hypothesis for a model of $\infty$-groupoids defined as $(\infty, \infty)$-categories whose cells in dimension $> 0$ are all weakly invertible.

Algebraic Topology,Category Theory
A Categorical Development of Right Derived Functors

Skyler Marks

2024-05-20

Abstract:Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm of pure abstract category theory in their development of the field, leveraging the Freyd-Mitchell embedding theorem or similar results, or otherwise using set-theoretic language to augment a general categorical discussion. This paper seeks to demonstrate that - while it is not necessary for most mathematicians' purposes - a development of homological concepts can be contrived from purely categorical notions. We begin by outlining the categories we will work within, namely Abelian categories (building off additive categories). We continue to develop cohomology groups of sequences, eventually culminating in a development of right derived functors. This paper is designed to be a minimalist construction, supplying no examples or motivation beyond what is necessary to develop the ideas presented.

General Mathematics
Odd annular Bar-Natan category and

Casey Necheles,Stephan Wehrli

DOI: https://doi.org/10.1142/s0218216524500251

2024-09-21

Journal of Knot Theory and Its Ramifications

Abstract:Journal of Knot Theory and Its Ramifications, Volume 33, Issue 08, July 2024. In this paper, we introduce two monoidal supercategories: the odd dotted Temperley–Lieb category [math], which is a generalization of the odd Temperley–Lieb category studied by Brundan and Ellis in [Monoidal Supercategories, Commun. Math. Phys. 351 (2017) 1045–1089], and the odd annular Bar-Natan category [math], which generalizes the odd Bar-Natan category studied by Putyra in [A [math]-category of chronological cobordisms and odd Khovanov homology, Banach Center Publ. 103 (2014) 291–355]. We then show there is an equivalence of categories between them if [math]. We use this equivalence to better understand the action of the Lie superalgebra [math] on the odd Khovanov homology of a knot in a thickened annulus found by Grigsby and the second author in [An action of [math] on odd annular Khovanov homology, Math. Res. Lett. 27(3) (2020) 711–742].

mathematics
Naive homotopy theories in cartesian closed categories

Enrique Ruiz Hernández,Pedro Solórzano

2024-05-07

Abstract:An elementary notion of homotopy can be introduced between arrows in a cartesian closed category $E$. The input is a finite-product-preserving endofunctor $\Pi_0$ with a natural transformation $p$ from the identity which is surjective on global elements. As expected, the output is a new category $E_p$ with objects the same objects as $E$.

Category Theory,Algebraic Topology
Nonstandard model categories and homotopy theory

Lars Brünjes,Christian Serpé

DOI: https://doi.org/10.48550/arXiv.0807.1002

2008-07-07

Abstract:In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions behave under enlargements.

Category Theory,Logic
Relative sectional category revisited

J.M. García-Calcines

DOI: https://doi.org/10.1016/j.exmath.2024.125590

IF: 1.339

2024-07-14

Expositiones Mathematicae

Abstract:The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its properties. We seek to uncover how the relative sectional category unifies several homotopic numerical invariants found in recent literature. These include the topological complexity of maps according to Murillo-Wu or Scott, relative topological complexity as defined by Farber, and homotopic distance for continuous maps in the sense of Macías-Virgós and Mosquera-Lois, among others.

mathematics
Structures on the Category of N-Complexes

Felix Küng

2024-02-01

Abstract:The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor product of chain complexes and graded objects to the case of $N$-complexes using the structures of $q$-binomial coefficients. We then study different approaches to realize the derived category of $N$-complexes. In particular we realize it as the Verdier quotient of the homotopy category of $N$-complexes, as the $\mathrm{h}$-projective objects and as the homotopy category of a category admitting a Quillen model structure.

Category Theory,Algebraic Topology,Quantum Algebra,Representation Theory
Generalized Homotopy theory in Categories with a Natural Cone

Francisco J. Díaz,José M. G. Calcines

DOI: https://doi.org/10.48550/arXiv.1203.0424

2012-03-02

Abstract:In proper homotopy theory, the original concept of point used in the classical homotopy theory of topological spaces is generalized in order to obtain homotopy groups that study the infinite of the spaces. This idea: "Using any arbitrary object as base point" and even "any morphism as zero morphism" can be developed in most of the algebraic homotopy theories. In particular, categories with a natural cone have a generalized homotopy theory obtained through the relative homotopy relation. Generalized homotopy groups and exact sequences of them are built so that respective classical pointed ones are a particular case of these.

Algebraic Topology,Category Theory
Homotopic distance between functors

E. Macías-Virgós,D. Mosquera-Lois

DOI: https://doi.org/10.48550/arXiv.1902.06322

2019-02-18

Abstract:We introduce a notion of categorical homotopic distance between functors by adapting the notion of homotopic distance in topological spaces, recently defined by the authors to the context of small categories. Moreover, this notion generalizes the work on categorical LS-category of small categories by Tanaka.

Algebraic Topology
Relative homological algebra for bivariant K-theory

George Nadareishvili

2023-03-02

Abstract:This survey article on relative homological algebra in bivariant K-thoery is mainly intended for readers with a background knowledge in triangulated categories. We briefly recall the general theory of relative homological algebra in triangulated categories and latter specialize it to the non-equivariant and the equivariant bivariant K-thoery, where the actions on C*-algebras is by a finite cyclic group. We conclude by the explicit computation of the universal abelian invariant for separable C*-algebras with the action of $\mathbb{Z}/4$ by automorphisms.

Operator Algebras,Category Theory
N-Abelian Quotient Categories

Panyue Zhou,Bin Zhu

DOI: https://doi.org/10.1016/j.jalgebra.2019.03.007

IF: 0.908

2020-01-01

Journal of Algebra

Abstract:Let C be an (n+2)-angulated category with an n-suspension functor Σn and X be a cluster-tilting subcategory of C. Then we show that the quotient category C/X is an n-abelian category, and C/X is equivalent to an n-cluster tilting subcategory of an abelian category mod(Σ−nX). In addition, if C has a Serre functor, we also prove that mod(Σ−nX) is Gorenstein of Gorenstein dimension at most n. As an application, we generalize recent results of Jacobsen-Jørgensen and Koenig-Zhu.
Homotopical presentation of categories

Seunghun Lee

2024-11-24

Abstract:We give a criterion for a functor $F:C\rightarrow B$ between small categories to generate a small presentation of the universal model category $U(B)$ in the sense of Dugger.

Category Theory
Nerves of 2-categories and 2-categorification of $(\infty,2)$-categories

Viktoriya Ozornova,Martina Rovelli

DOI: https://doi.org/10.48550/arXiv.1902.05524

2019-02-15

Abstract:We show that the homotopy theory of strict 2-categories embeds in that of $(\infty,2)$-categories in the form of 2-precomplicial sets. More precisely, we construct a nerve-categorification adjunction that is a Quillen pair between Lack's model structure for 2-categories and Riehl-Verity's model structure for 2-complicial sets. Furthermore, we show that Lack's model structure is transferred along this nerve and that the nerve is homotopically fully faithful.

Algebraic Topology,Category Theory

n-Relative Categories

A relative 2-nerve

A functorial approach to $n$-abelian categories

Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

Relative Higher Homology and Representation Theory

The category of extensions and a characterisation of $n$-exangulated functors

A homotopy coherent nerve for (∞, n )-categories

Model structures for diagrammatic $(\infty, n)$-categories

A Categorical Development of Right Derived Functors

Odd annular Bar-Natan category and

Naive homotopy theories in cartesian closed categories

Nonstandard model categories and homotopy theory

Relative sectional category revisited

Structures on the Category of N-Complexes

Generalized Homotopy theory in Categories with a Natural Cone

Homotopic distance between functors

Relative homological algebra for bivariant K-theory

N-Abelian Quotient Categories

Homotopical presentation of categories

Nerves of 2-categories and 2-categorification of $(\infty,2)$-categories