ﻻ يوجد ملخص باللغة العربية
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 a proposal for a relaxed form of the exchange property for higher (C*)-categories that avoids the Eckmann-Hilton collapse and hence allows the construction of explicit non-trivial non-commutative examples arising from the study of hypermatrices and hyper-C*-algebras, here defined. Alternatives to the usual globular and cubical settings for strict higher categories are also explored. Applications of these non-commutative higher C*-categories are envisaged in the study of morphisms in non-commutative geometry and in the algebraic formulation of relational quantum theory.
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories ove
C*-categories are essentially norm-closed *-categories of bounded linear operators between Hilbert spaces. The purpose of this work is to identify suitable axioms defining Krein C*-categories, i.e. those categories that play the role of C*-categories
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of obstructions for
A bicommutant category is a higher categorical analog of a von Neumann algebra. We study the bicommutant categories which arise as the commutant $mathcal{C}$ of a fully faithful representation $mathcal{C}tooperatorname{Bim}(R)$ of a unitary fusion ca
Given a higher-rank graph $Lambda$, we investigate the relationship between the cohomology of $Lambda$ and the cohomology of the associated groupoid $G_Lambda$. We define an exact functor between the abelian category of right modules over a higher-ra