28,858 research outputs found
Coherence for Star-Autonomous Categories
This paper presents a coherence theorem for star-autonomous categories
exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric
monoidal closed categories. The proof of this theorem is based on a categorial
cut-elimination result, which is presented in some detail.Comment: 28 page
Coherence of Proof-Net Categories
The notion of proof-net category defined in this paper is closely related to
graphs implicit in proof nets for the multiplicative fragment without constant
propositions of linear logic. Analogous graphs occur in Kelly's and Mac Lane's
coherence theorem for symmetric monoidal closed categories. A coherence theorem
with respect to these graphs is proved for proof-net categories. Such a
coherence theorem is also proved in the presence of arrows corresponding to the
mix principle of linear logic. The notion of proof-net category catches the
unit free fragment of the notion of star-autonomous category, a special kind of
symmetric monoidal closed category.Comment: 40 pages, 1 figur
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
Toy models have been used to separate important features of quantum
computation from the rich background of the standard Hilbert space model.
Category theory, on the other hand, is a general tool to separate components of
mathematical structures, and analyze one layer at a time. It seems natural to
combine the two approaches, and several authors have already pursued this idea.
We explore *categorical comprehension construction* as a tool for adding
features to toy models. We use it to comprehend quantum propositions and
probabilities within the basic model of finite-dimensional Hilbert spaces. We
also analyze complementary quantum observables over the category of sets and
relations. This leads into the realm of *test spaces*, a well-studied model. We
present one of many possible extensions of this model, enabled by the
comprehension construction. Conspicuously, all models obtained in this way
carry the same categorical structure, *extending* the familiar dagger compact
framework with the complementation operations. We call the obtained structure
*dagger mix autonomous*, because it extends mix autonomous categories, popular
in computer science, in a similar way like dagger compact structure extends
compact categories. Dagger mix autonomous categories seem to arise quite
naturally in quantum computation, as soon as complementarity is viewed as a
part of the global structure.Comment: 21 pages, 6 figures; Proceedings of Quantum Physics and Logic, Oxford
8-9 April 200
Note on star-autonomous comonads
We develop an alternative approach to star-autonomous comonads via linearly
distributive categories. It is shown that in the autonomous case the notions of
star-autonomous comonad and Hopf comonad coincide.Comment: 9 page
Graphical Presentations of Symmetric Monoidal Closed Theories
We define a notion of symmetric monoidal closed (SMC) theory, consisting of a
SMC signature augmented with equations, and describe the classifying categories
of such theories in terms of proof nets.Comment: Uses Paul Taylor's diagram
- …