Related papers: Characterization of coextensive varieties of unive…
A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…
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…
The notion of an $\mathcal{M}$-coextensive object is introduced in an arbitrary category $\mathbb{C}$, where $\mathcal{M}$ is a distinguished class of morphisms from $\mathbb{C}$. This notion allows for a categorical treatment of the strict…
In this paper we use the theory of central elements in order to provide a characterization for coextensive varieties. In particular, if the variety is of finite type, congruence-permutable and its class of directly indecomposable members is…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
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…
We provide some background on the category of classifiable $\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple, separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension and satisfy the universal…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
In this paper, we show that in every coextensive variety V, the assignment that maps each algebra to its set of central elements is both functorial and representable. Furthermore, we prove that the full subcategory of finitely presented…
In this paper, we investigate the property (P) that finite products commute with arbitrary coequalizers in pointed categories. Examples of such categories include any regular unital or (pointed) majority category with coequalizers, as well…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial…
We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…
We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We generalize the Pierce representation theorem for (commutative) rings with unit to other algebraic categories with Definable Factor Congruences by using tools from topos theory. Of independent interest, we prove that an algebraic category…
In the setting of C*-categories, we provide a definition of "spectrum" of a commutative full C*-category as a one-dimensional unital saturated Fell bundle over a suitable groupoid (equivalence relation) and prove a categorical Gelfand…
We show that the category A(G) of actions of a locally compact group G on C*-algebras (with equivariant nondegenerate *-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of…
Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a…