Related papers: Von Neumann Categories
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…
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…
This article introduces pre-Hilbert $*$-categories: an abstraction of categories exhibiting "algebraic" aspects of Hilbert-space theory. Notably, finite biproducts in pre-Hilbert $*$-categories can be orthogonalised using the Gram-Schmidt…
In this paper we present the notion of a von Neumann regular $\mathcal{C}^{\infty}-$ring, we prove some results about them and we describe some of their properties. We prove, using two different methods, that the category of von Neumann…
Having in view the study of a version of Gel'fand-Neumark duality adapted to the context of Alain Connes' spectral triples, in this very preliminary review, we first present a description of the relevant categories of geometrical spaces,…
In this paper we suggest an approach for constructing an L1-type space for a positive selfadjoint operator affiliated with von Neumann algebra. For such operator we intro- duce a seminorm, and prove that it is a norm if and only if the…
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
By extending the method developed in our recent paper \cite{LM} we present the AQFT framework in terms of von Neumann algebras. In particular, this approach allows for a locally covariant categorical description of AQFT which moreover…
New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
We establish a generalized version of the duality between groups and the categories of their representations on sets. Given an abstract symmetric monoidal category $K$ called Galois prekosmos, we define pre-Galois objects in $K$ and study…
Dagger categories are an essential tool for categorical descriptions of quantum physics, for example in categorical quantum mechanics and unitary topological field theory. Their definition however is in tension with the ``principle of…
Let $V_*\otimes V\rightarrow\mathbb{C}$ be a non-degenerate pairing of countable-dimensional complex vector spaces $V$ and $V_*$. The Mackey Lie algebra $\mathfrak{g}=\mathfrak{gl}^M(V,V_*)$ corresponding to this paring consists of all…
In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while…
In the setting of von Neumann algebras, measurable quantum groupoids have successfully been axiomatized and studied by Enock, Vallin, and Lesieur, whereas in the setting of $C^{*}$-algebras, a similar theory of locally compact quantum…
The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and…