Related papers: Flat vs. filtered colimits in the enriched context
We extend the basic theory of the coniveau and strong coniveau filtrations to the $\ell$-adic setting. By adapting the examples of Benoist--Ottem to the $\ell$-adic context, we show that the two filtrations differ over any algebraically…
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
For a small quantaloid $\mathcal{Q}$, a $\mathcal{Q}$-closure space is a small category enriched in $\mathcal{Q}$ equipped with a closure operator on its presheaf category. We investigate $\mathcal{Q}$-closure spaces systematically with…
We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
A concept of "evolving categories" is suggested to build a simple, scalable, mathematically consistent framework for representing in uniform way both data and algorithms. A state machine for executing algorithms becomes clear, rich and…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between…
We provide a diagrammatic criterion for the existence of an absolute colimit in the context of enriched category theory.
We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Fr\"olicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that…
Treatises about General Topology that emphasize the notion of uniformity and uniform space find, of course, no difficulty in defining the notion of a complete uniform space and in constructing the completion of a metric space, via its…
For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras and parameterized final coalgebras, i.e. the class of…
The work presents the first part of second edition of the previous edition of 2000 under the same title containing the proof (in ZF) of the nonexistence of inaccessible cardinals, now enriched and improved. This part contains the apparatus…
In this paper we carry the construction of equilogical spaces into an arbitrary category $\mathsf{X}$ topological over $\mathsf{Set}$, introducing the category $\mathsf{X}$-$\mathsf{Equ}$ of equilogical objects. Similar to what is done for…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
Recent results, establishing evidence of intractability for such restrictive utility functions as additively separable, piecewise-linear and concave, under both Fisher and Arrow-Debreu market models, have prompted the question of whether we…
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of…
We study the computational complexity of fair division of indivisible items in an enriched model: there is an underlying graph on the set of items. And we have to allocate the items (i.e., the vertices of the graph) to a set of agents in…
Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those…