Related papers: Enriched pro-categories and shapes

A full reflective subcategory E of a presheaf category [C*,Set] is the category of sheaves for a topology j on C if and only if the reflection preserves finite limits. Such an E is called a Grothendieck topos. More generally, one can…

We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$…

Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.

Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…

This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We introduce a category of inverse semigroup actions and a category of \'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral actions, inverse semigroup actions to their transformation…

The main result of this paper may be stated as a construction of "almost representations" for the canonical presheaves of object extensions of length n on the C-systems defined by locally cartesian closed universe categories with binary…

Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory…

This paper is the first part of a series that investigates the existence of $n$-exact structures on idempotent complete additive categories for positive integers $n$. It is shown that every idempotent complete additive category has a unique…

We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in…

Let $\mathbb{D}$ be the category of pro-sets (or abelian pro-groups). It is proved that for any Grothendieck site $X$, there exists a reflector from the category of precosheaves on $X$ with values in $\mathbb{D}$ to the full subcategory of…

A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…

For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…

We provide a reference for basic categorial properties of the categories of (possibly non-unital) $\mathbb{C}$-linear $*$-categories or $C^{*}$-categories, and (not necessarily unit-preserving) functors. Generalizing the classical case of…