Abramsky and Coecke (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425, IEEE Comput. Soc., New York, 2004) have recently introduced an approach to finite dimensional quantum mechanics based on strongly compact closed categories with biproducts. In this note it is shown that the projections of any object A in such a category form an orthoalgebra ProjA. Suffi...

Adams operations are the natural transformations of representation ring functor on category finite groups, and they one way to describe usual lambda-ring structure these rings. From representation-theoretical point view, codify some symmetric monoidal category. We show that alone, regardless particular symmetry, determines all odd operations. On other hand, we give examples equivalences do not ...

The ultimate purpose of this part is to explain the definition of models for the rational homotopy of spaces. In our constructions, we use the classical Sullivan model, defined in terms of unitary commutative cochain dg-algebras, and a cosimplicial version of this model, involving cosimplicial algebra structures. The purpose of this preliminary chapter is to provide a survey of constructions on...

math.CT/0512076 KCL-MTH-05-15 ZMP-HH/05-23 Hamburger Beiträge zur Mathematik Nr. 225 Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a (rational) CFT can be divided into two steps, of which one is complex-an...

We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intuitively obvious definition of globular morphisms as mappings between strategy profiles that preserve best responses, and hence in particular preserve Nash equilibria. We construct a symmetric monoidal double category i...

We show that there is a homotopy cofiber sequence of spectra relating Carlsson’s deformation K-theory of a group G to its “deformation representation ring,” analogous to the Bott periodicity sequence relating connective K-theory to ordinary homology. We then apply this to study simultaneous similarity of unitary matrices. The algebraic K-theory of a category uses the machinery of infinite loop ...

In this note we provide a characterization, in terms of additional algebraic structure, of those strict intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the structure of a finitely bicomplete 2-category. Several examples and connections with the homotopy theory of 2-categories are also discussed. Introduction A...

The centre of a monoidal category is a braided monoidal category. Monoidal categories are monoidal objects (or pseudomonoids) in the monoidal bicategory of categories. This paper provides a universal construction in a braided monoidal bicategory that produces a braided monoidal object from any monoidal object. Some properties and sufficient conditions for existence of the construction are exami...

We give a new construction of the algebraic K-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a ...

We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the category of Petri nets to an appropriate category of symmetric strict monoidal categories, in the precise sense that, for each net N , the strongly concatenable processes of N are isomorphic to the arrows of Q[N ]. In addition, w...