For any finite-dimensional Hopf algebra H we construct a group homomorphism BiGal (H) → BrPic(Rep(H)), from the group of equivalence classes of H-biGalois objects to the group of equivalence classes of invertible exact ...

Recent work by the authors equips Petri occurrence nets (PN) with probability distributions which fully replace nondeterminism. To avoid the so-called confusion problem, the construction imposes additional causal dependencies ...

Let (C, ⊗, 1) be an abelian symmetric monoidal category satisfying certain exactness conditions. In this paper we define a presheaf P n C on the category of commutative algebras in C and we prove that this functor is a ...

The objective of this work is to generalize basic ideas from linear algebra and topology, such as traces and fixed points, into a categorical context. Each of those generalizations has important objects and ideas behind, ...

We introduce non-degenerate solutions of the Yang–Baxter equation in the setting of symmetric monoidal categories. Our theory includes non-degenerate set-theoretical solutions as basic examples. However, infinite families ...

Una Teoría Topológica de Campos Abierta-Cerrada de Dimensión Dos, OC-TFT, es un funtor simétrico monoidal desde la categoría de cobordismos abierto-cerrados de dimensión dos 2Cobext a la categoría de espacios vectoriales ...

The recently proposed Cohesive Homotopy Type Theory is exploited as a formal foundation for central concepts in Topological and Geometrical Quantum Computation. Specifically the Cohesive Homotopy Type Theory provides a ...

Lambda-S is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi. One is to forbid duplication of variables, while the other is to consider all lambda-terms as algebraic ...