Related papers: E-theory for $C^\ast$-Categories
The theory of categories of fractions as originally developed by Gabriel and Zisman is reviewed in a pedagogical manner giving detailed proofs of all statements. A weakening of the category of fractions axioms used by Higson is discussed…
We review the theory of Co-Gorenstein algebras, which was introduced by Beligiannis in the article "The Homological Theory of Contravariantly Finite Subcategories: Gorenstein Categories, Auslander-Buchweitz Contexts and (Co-)Stabilization".…
Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…
We introduce a new approach to the study of operational theories of physics using category theory. We define a generalisation of the (causal) operational-probabilistic theories of Chiribella et al. and establish their correspondence with…
A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set}$, is defined as the category whose objects are…
T*-categories are introduced as a ternary generalization of C*-categories. Their linking C*-categories are constructed and the Gelfand-Naimark representation theorems of Zettl for C*-ternary rings and for W*-ternary rings, are generalized…
We give a definition of partition C*-algebras: To any partition of a finite set, we assign algebraic relations for a matrix of generators of a universal C*-algebra. We then prove how certain relations may be deduced from others and we…
We introduce a dependent type theory whose models are weak {\omega}-categories, generalizing Brunerie's definition of {\omega}-groupoids. Our type theory is based on the definition of {\omega}-categories given by Maltsiniotis, himself…
For separable $C^*$-algebras $A$ and $B$, we define a topology on the set $[[A, B]]$ consisting of homotopy classes of asymptotic morphisms from $A$ to $B$. This gives an enrichment of the Connes--Higson asymptotic category over topological…
According to the basic idea of category theory, any Einstein algebra, essentially an algebraic formulation of general relativity, can be considered from the point of view of any object of the category of smooth algebras; such an object is…
By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
The category $\bcalNT$ is a category of certain commutative graded algebras over a field. It was introduced in \cite{Lobos2} as a generalization of algebras generated by Jucys-Murphy elements in the many \textbf{End} algebras of the…
An often used model for quantum theory is to associate to every physical system a C*-algebra. From a physical point of view it is unclear why operator algebras would form a good description of nature. In this paper, we find a set of…
W-algebra (of finite type) W is a certain associative algebra associated with a semisimple Lie algebra, say g, and its nilpotent element, say e. The goal of this paper is to study the category O for W introduced by Brundan, Goodwin and…
The construction of a C*-algebra of a differential groupoid is presented. It is shown that it defines a covariant functor from the category of differential groupoids in a sense of S. Zakrzewski to the category of C*-algebras.
In this paper, we study algebras over the little cubes operads introduced by Boardman and Vogt, using the formalism of higher category theory.
Given a vector space with an action of a semi-simple Lie algebra, we can try to "categorify" this representation, which means finding a category where the generators of the Lie algebra act by functors. Such categorical representations arise…
We provide definitions for strict involutive higher categories (a vertical categorification of dagger categories), strict higher C*-categories and higher Fell bundles (over arbitrary involutive higher topological categories). We put forward…
Proponents of category theory long hoped to escape the limits of set theory by founding mathematics on an unlimited category theory in which large categories, such as the category Grp of all groups, the category Top of all topological…