Related papers: Categorial subsystem independence as morphism co-p…

We study dependence and independence concepts found in quantum physics, especially those related to hidden variables and non-locality, through the lens of team semantics and probabilistic team semantics, adapting a relational framework…

We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…

Projectivity and injectivity are fundamental notions in category theory. We consider natural weakenings termed semiprojectivity and semiinjectivity, and study these concepts in different categories. For example, in the category of metric…

We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of…

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…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

This paper contains a review of the theoretical foundations of Clifford algebras, spinors and spinor bundles in the so-called co-frame formalism. A compact index-free notation is introduced, along with a series of identities useful for…

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of "higher category-like" objects such as type theories with identity types. We show how these globular…

This work mainly concerns the -- here introduced -- category of $\mathscr Q$-sets and functional morphisms, where $\mathscr Q$ is a commutative semicartesian quantale. We describe, in detail, the limits and colimits of this complete and…

A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…

In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and…

We show that abstract Cuntz semigroups form a closed symmetric monoidal category. Thus, given Cuntz semigroups $S$ and $T$, there is another Cuntz semigroup $[[S,T]]$ playing the role of morphisms from $S$ to $T$. Applied to C$^*$-algebras…

We define the notion of invariant derivation of a C*-algebra under a compact quantum group action and prove that in certain conditions, such derivations are generators of one parameter automorphism groups.

We investigate a canonical way of defining bisimilarity of systems when their semantics is given by a coreflection, typically in a category of transition systems. We use the fact, from Joyal et al., that coreflections preserve open…

Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points,…

This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized…

The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to…

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…