8 citations · 16 across the 11 of their papers we have counts for
7 papers · 1 filter
Girard's as a reversible fixed-point operator
Peter Hines
We give a categorical description of the treatment of the !() exponential in the Geometry of Interaction system, with particular emphasis on the fact that the GoI interpretation 'f…
A categorical analogue of the monoid semiring construction
Peter Hines
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summati…
Classical Structures Based on Unitaries
Peter Hines
Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper add…
Identities in modular arithmetic from reversible coherence operations
Peter Hines
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorica…
Coherence and strictification for self-similarity
Peter Hines
This paper studies questions of coherence and strictification related to self-similarity - the identity in a (semi-)monoidal category. Based on Saavedra's theor…
Types and forgetfulness in categorical linguistics and quantum mechanics
Peter Hines
The role of types in categorical models of meaning is investigated. A general scheme for how typed models of meaning may be used to compare sentences, regardless of their grammatic…