Related papers: Categorial subsystem independence as morphism co-p…
This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the…
This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We discuss the adjunction of a zero element to both kinds of…
The object of this paper is to define a subcategory of the category of 3-cobordisms to which invariants of rational homology 3-spheres should generalize. We specify the notion of Topological Quantum Field Theory (in the sense of Atiyah) to…
Life continuously changes its own components and states at each moment through interaction with the external world, while maintaining its own individuality in a cyclical manner. Such a property, known as "autonomy," has been formulated…
A data structure is called history independent if its internal memory representation does not reveal the history of operations applied to it, only its current state. In this paper we study history independence for concurrent data…
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…
The notion of a tensor product with projections or with inclusions is defined. It is shown that the definition of stochastic independence relies on such a structure and that independence can be defined in an arbitrary category with a tensor…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
In this paper we give description of free and cofree objects in the category of operator sequence spaces. First we show that this category possess the same duality theory as category of normed spaces, then with the aid of these results we…
Intuitively speaking, a classical field theory is background-independent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to…
We describe a procedure for constructing morphisms in additive categories, combining Auslander's concept of a morphism determined by an object with the existence of flat covers. Also, we show how flat covers are turned into projective…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…
The physical resources available to access and manipulate the degrees of freedom of a quantum system define the set $\cal A$ of operationally relevant observables. The algebraic structure of $\cal A$ selects a preferred tensor product…
A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a…
Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…
In this paper, we find weight decomposition and rank of a weight in the integral (co)homology of the positive system of a semi-simple Lie algebra over $\Bbb C$ and prove that the (co)homology of the weight subcomplex over a field of…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…