Related papers: Archimedean Type Conditions in Categories
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under…
We use the notion of multi-Reedy category to prove that, if $\mathcal C$ is a Reedy category, then $\Theta \mathcal C$ is also a Reedy category. This result gives a new proof that the categories $\Theta_n$ are Reedy categories. We then…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
We give archimedean and non-archimedean constructions of Darmon points on modular abelian varieties attached to automorphic forms over arbitrary number fields and possibly non-trivial central character. An effort is made to present a…
Despite the presence of the classification task in many different benchmark datasets for perception in the automotive domain, few efforts have been undertaken to define consistent classification requirements. This work addresses the topic…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…
Categories of W*-bimodules are shown in an explicit and algebraic way to constitute an involutive W*-bicategory.
Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories,…
Let K be an abstract elementary classes which has arbitrarily large models and satisfies the amalgamation and joint embedding properties. Theorem 1. Suppose K is \chi-tame. If K is categorical in some \lambda^+ >LS(K) then it is categorical…
Two groups are called isocategorical over a field $k$ if their respective categories of $k$-linear representations are monoidally equivalent. We classify isocategorical groups over arbitrary fields, extending the earlier classification of…
We introduce the notion of residual finiteness for categories. In analogy with the group-theoretic setting, we prove that free categories and finitely generated subcategories of finite-dimensional vector spaces are residually finite.…
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
The Hecke category is bigraded. For completeness, we classify gradings on the Hecke category. We also classify object-preserving autoequivalences.
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural transformation. This yields a new explanation of the…
By a 2-ring we mean a groupoid with a structure analogous to that of a ring, up to coherent isomorphisms. Two different notions of 2-ring appear in the literature: the notion of {\em Ann-category}, due to Quang, and the notion of {\em…
We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and…