Abstract sheaf theory

Abolfazl Tarizadeh

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

2017-09-21

Commutative Algebra

Abstract:In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with values in an arbitrary category.

What problem does this paper attempt to address?

Higher geometric sheaf theories

Raffael Stenzel

2024-06-02

Abstract:We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical literature in a uniform manner. In fact, higher covering diagrams always assemble to what we refer to as a structured colimit pre-topology on the base $\mathcal{C}$. It hence always defines a sub-canonical sheaf theory over $\mathcal{C}$, and indeed defines the canonical such whenever $\mathcal{C}$ has pullbacks. This ``higher geometric'' sheaf theory will be shown to differ from the usual infinitary-coherent sheaf theory by a cotopological localization whenever $\mathcal{C}$ is infinitary-coherent itself. We prove that this localization is generally non-trivial. For instance, every $\infty$-topos is the theory of higher geometric sheaves over itself, but the according infinitary-coherent sheaf theory over it is generally strictly larger. The higher geometric sheaves are hence characterized by a limit preservation property that is generally not captured by the classical sheaf condition. We define an $\infty$-category of higher geometric $\infty$-categories, and show that the (opposite of the) $\infty$-category of $\infty$-toposes embeds fully faithfully therein. We show that the higher $\kappa$-geometric sheaf theory on a higher $\kappa$-geometric $\infty$-category defines the free $\infty$-topos generated by it, and consequently that it faithfully generalizes Lurie's definition of a ``sheaf'' over an $\infty$-topos.

Category Theory,Algebraic Topology,Logic
An abelian ambient category for behaviors in algebraic systems theory

Sebastian Posur

2023-10-02

Abstract:We describe an abelian category $\mathbf{ab}(M)$ in which the solution sets of finitely many linear equations over an arbitrary ring $R$ with values in an arbitrary left $R$-module $M$ reside as objects. Such solution sets are also called behaviors in algebraic systems theory. We both characterize $\mathbf{ab}(M)$ by a universal property and give a construction of $\mathbf{ab}(M)$ as a Serre quotient of the free abelian category generated by $R$. We discuss features of $\mathbf{ab}(M)$ relevant in the context of algebraic systems theory: if $R$ is left coherent and $M$ is an fp-injective fp-cogenerator, then $\mathbf{ab}(M)$ is antiequivalent to the category of finitely presented left $R$-modules. This provides an alternative point of view to the important module-behavior duality in algebraic systems theory. We also obtain a dual statement: if $R$ is right coherent and $M$ is fp-faithfully flat, then $\mathbf{ab}(M)$ is equivalent to the category of finitely presented right $R$-modules. As an example application, we discuss delay-differential systems with constant coefficients and a polynomial signal space. Moreover, we propose definitions of controllability and observability in our setup.

Category Theory,Optimization and Control
Some contributions to sheaf model theory

Andreas Brunner,Charles Morgan,Darllan Pinto

2024-09-27

Abstract:This paper makes contributions to "pure" sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist. We then give a careful treatment of the interpretation of terms and formulae. This allows us to prove various preservation results, including strengthenings of the results of Brunner and Miraglia. We give refinements of Miraglia's work on directed colimits and an analogue of Tarski's theorem on the preservation of $\forall_2$-sentences under unions of chains. We next show various categories whose objects are (pairs of) presheaves and sheaves with various notions of morphism are accessible in the category theoretic sense. Together these ingredients allow us ultimately to prove that these categories are encompassed in the AECats framework for independence relations developed by Kamsma.

Logic
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
Sheaves of $(\infty, \infty)$-categories

Zach Goldthorpe

2024-09-22

Abstract:We provide a functorial presentation of the $(\infty, 1)$-category of sheaves of $(n, r)$-categories for all $-2 \leq n\leq\infty$ and $0 \leq r\leq n+2$ based on complete Segal space objects. In this definition, the equivalences of sheaves of $(\infty, \infty)$-categories are defined inductively, so we also provide a localisation at the coinductive equivalences to define the $(\infty, 1)$-category of sheaves of $\omega$-categories as well. We prove that the $(\infty, 1)$-category of sheaves of $(\infty, \infty)$-categories and the $(\infty, 1)$-category of sheaves of $\omega$-categories both define distributors over the underlying topos of sheaves of spaces. Moreover, we show that these distributors define terminal and initial fixed points with respect to the construction of complete Segal space objects in a distributor. We conclude with a sheafification result: the category of sheaves of $(n, r)$-categories over a site $\mathscr{C}$ can be presented as a strongly reflective localisation of $\mathbf{Fun}(\mathscr{C}^{\mathrm{op}}, \mathbf{Cat}_{(n, r)})$, where the localisation functor preserves fibre products over $\mathbf{Sh}(\mathscr{C})$, with the analogous result also holding for sheaves of $\omega$-categories.

Category Theory
Quasi-coherent sheaves on complex analytic spaces

Haohao Liu

2024-07-16

Abstract:We show that in the category of analytic sheaves on a complex analytic space, the full subcategory of quasi-coherent sheaves is an abelian subcategory.

Complex Variables,Algebraic Geometry
Heaps of modules: Categorical aspects

Simion Breaz,Tomasz Brzezinski,Bernard Rybolowicz,Paolo Saracco

2023-11-03

Abstract:Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously.

Rings and Algebras,Category Theory
On sheaves on semicartesian quantales and their truth values

Ana Luiza Tenorio,Caio de Andrade Mendes,Hugo Luiz Mariano

DOI: https://doi.org/10.1093/logcom/exad081

2024-01-22

Journal of Logic and Computation

Abstract:Abstract In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale; however, we prove that in general it is not an elementary topos—since the lattice of external truth values of $Sh(Q)$, $Sub(1)$, is canonically isomorphic to the quantale $Q$—placing this paper as part of a greater project towards a monoidal (not necessarily cartesian) closed version of elementary topos. To start the study the logical aspects of the category of sheaves we are introducing, we explore the nature of the ‘internal truth value objects’ in such sheaves categories. More precisely, we analyse two candidates for subobject classifier for different subclasses of commutative and semicartesian quantales.

computer science, theory & methods,logic
Enhancement for categories and homotopical algebra

D. Kaledin

2024-09-26

Abstract:We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual potential applications, such as e.g. enhancements for derived categories of coherent sheaves, in a way that is as close as possible to usual category theory.

Algebraic Geometry,Algebraic Topology,Category Theory,Representation Theory
Abstract Kleisli structures on 2-categories

Adrian Miranda

2024-07-02

Abstract:Führmann introduced Abstract Kleisli structures to model call-by-value programming languages with side effects, and showed that they correspond to monads satisfying a certain equalising condition on the unit. We first extend this theory to non-strict morphisms of monads, and to incorporate $2$-cells of monads. We then further extend this to a theory of abstract Kleisli structures on $2$-categories, characterising when the original pseudomonad can be recovered by the abstract Kleisli structure on its $2$-category of free-pseudoalgebras.

Category Theory
Abstract sectional category in model structures on topological spaces

Marco Moraschini,Aniceto Murillo

DOI: https://doi.org/10.1016/j.topol.2015.12.002

2015-12-03

Abstract:We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical notion. As a result, the same conclusions hold for the abstract Lusternik-Schnirelmann category and the abstract topological complexity of a space.

Algebraic Topology
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
Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory

Andrew M. Pitts

DOI: https://doi.org/10.1112/plms/s3-57.3.433

1988-11-01

Proceedings of the London Mathematical Society

Abstract:Grothendieck toposes are studied via the process of taking the associated Sl‐enriched category of relations. It is shown that this process is adjoint to that of taking the topos of sheaves of an abstract category of relations. As a result, pullback and comma toposes are calculated in a new way. The calculations are used to give a new characterization of localic morphisms and to derive interpolation and conceptual completeness properties for a certain class of interpretations between geometric theories. A simple characterization of internal sup‐lattices in terms of external Sl‐enriched category theory is given.

mathematics
Auslander-Reiten theory in proper abelian subcategories

David Nkansah

2023-12-12

Abstract:We study Auslander-Reiten theory in proper abelian subcategories of triangulated categories with a Serre functor. To initiate this, we use approximations of a Serre functor to construct Nakayama functors, which in turn allow for the construction of Auslander-Reiten translates and the existence of Auslander-Reiten sequences in suitable proper abelian subcategories. As an application, we recover the existence of Auslander-Reiten sequences in the category of finite dimensional modules over a finite dimensional algebra.

Representation Theory
Higher coherence and a generalization of higher categorified algebraic structures

Takuo Matsuoka

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

2020-12-28

Category Theory

Abstract:In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic structure in some great generality. In tradition, certain general kinds of algebraic structure are studied through the theory of operads, of algebraic theories, of properads (possibly with "colours" or "sorts") or of the like. We understand this as use of algebra for studying a certain meta aspect of the subject of algebra, namely, studying kinds of algebraic structure in general (rather than structures of specific kinds themselves). In higher categorical contexts, more various algebraic structures can be considered (starting in fact with operads considered with arbitrarily varying colours) than can be covered with mere higher categorified versions of the traditional tools. In this survey, we develop a systematic view on quite general algebraic structures with high categorical dimensionality. We do this by extending algebra for the meta aspect of algebra, to a higher order, or highly meta, theory of algebra, where the theoretic order turns out to match the categorical dimension. We will discuss some examples including a natural generalization of the notion of topological field theory (TFT) obtained in the resulting new system. It turns out a generalized TFT can have a very different characterization from a conventional TFT does.
On sheaves in finite group representations

Tengfei Xiong,Fei Xu

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

2022-03-09

Abstract:Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we explicitly compute their sheaf categories via sheafification. This enables us to identify $G$-representations with various fixed-point sheaves. As a consequence, it provides an intrinsic new proof to the equivalence of M. Artin between the category of sheaves on the orbit category and that of group representations.

Representation Theory
Abelian categories and definable additive categories

Mike Prest

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

2012-02-02

Abstract:We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent abelian categories and coherent morphisms. These categories link algebra, model theory and "geometry".

Category Theory,Logic,Rings and Algebras,Representation Theory
A semi-abelian extension of a theorem by Takeuchi

Marino Gran,Florence Sterck,Joost Vercruysse

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

2018-12-12

Abstract:We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebras, and this leads to the proof that two definitions of crossed modules of cocommutative Hopf algebras are equivalent in this context.

Category Theory,Rings and Algebras
A Homological View of Categorical Algebra

George Peschke,Tim Van der Linden

2024-06-21

Abstract:We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known and some new, and (b) the development of categorical tools for effective reasoning and computing within those frameworks. The selection of axiomatic frameworks begins `from the ground up' with z-exact categories. These are pointed categories in which every morphism has a kernel and cokernel. Then we progress all the way to abelian categories, en route meeting contexts such as Borceux--Bourn homological categories and Janelidze--Márki--Tholen semiabelian categories. We clarify the relationship between these axiomatic frameworks by direct comparison, but also by explaining how concrete examples fit into the selection. The outcome is a fine-grained set of criteria by which one can map varieties of algebras (in the sense of Universal Algebra) and topological models of algebraic theories into the various frameworks. The categorical tools for effective computation deal mostly with situations involving universal factorizations of morphisms, with exact sequences, and with the homology of chain complexes. Further, the categorical tools for computation include the `basic diagram lemmas' of homological algebra, that is the (Short) $5$-Lemma, the $(3\times 3)$-Lemma, the Snake Lemma, and applications thereof. We find that these tools are even available in some surprisingly weak categorical environments, such as the category of pointed sets. In discovering such features, we make systematic use of what we call the self-dual axis of a category.

Category Theory

Abstract sheaf theory

Higher geometric sheaf theories

An abelian ambient category for behaviors in algebraic systems theory

Some contributions to sheaf model theory

A Categorical Development of Right Derived Functors

Sheaves of $(\infty, \infty)$-categories

Quasi-coherent sheaves on complex analytic spaces

Heaps of modules: Categorical aspects

On sheaves on semicartesian quantales and their truth values

Enhancement for categories and homotopical algebra

Abstract Kleisli structures on 2-categories

Abstract sectional category in model structures on topological spaces

A functorial approach to $n$-abelian categories

Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory

Auslander-Reiten theory in proper abelian subcategories

Higher coherence and a generalization of higher categorified algebraic structures

On sheaves in finite group representations

Abelian categories and definable additive categories

A semi-abelian extension of a theorem by Takeuchi

A Homological View of Categorical Algebra