Related papers: A note on covers defining relative and sectional c…
We define two different versions of the relative De Rham cohomology groups of a diffeological space. Additionally, we study a variant of the Mayer-Vietoris sequence and discuss the existence of a relative cup product. Our approach is…
In this paper, we analyze the definition Andr\'e proposed for near-vector spaces to make it more transparent. We also study the class of near-vector spaces over division rings and give a characterization of regularity that gives a new…
We study the relationship between singularity categories and relative singularity categories and discuss constructions of differential graded algebras of relative singularity categories. As consequences, we obtain structural results, which…
We outline a definition of accessible and presentable objects in a 2-category $\mathcal K$ endowed with a "KZ context", that is to say a pair of lax-idempotent monads interacting in a prescribed way; this perspective suggests a unified…
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this…
Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this…
Restriction categories provide a categorical framework for partiality. In this paper, we introduce three new categorical theories for partiality: local categories, partial categories, and inclusion categories. The objects of a local…
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 generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
The main purpose of this paper is to introduce a new category, which we call a resonance category, whose combinatorics reflect that of canonical stratifications of $n$-fold symmetric smash products. The study of the stratifications can then…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive…
Utilizing previously established results concerning costratification in relative tensor-triangular geometry, we classify the colocalizing subcategories of the singularity category of a locally hypersurface ring and then we generalize this…
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…
In this paper some axiomatic generalization (function of open subsets) of the relative Lyusternik-Schnirelmann category is considered, incorporating the sectional category and the Schwarz genus as well. For this function and a given…
We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and…
Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.
A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the pseudo-cartesian structure on Eilenberg-Moore categories.…
We introduce the notion of inductive category in a model category and prove that it agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-) pointed…