类 型
9 篇文献
 
ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC  
We give a definition of categorical model for the multiplicative fragment of non-commutative logic. We call such structures entropic categories. We demonstrate the soundness and completeness of our ax......
4次引用 0 0
COHERENCE OF THE DOUBLE INVOLUTION ON -AUTONOMOUS CATEGORIES  
We show that any free -autonomous category is equivalent (in a strict sense) to a free -autonomous category in which the double-involution ( ) is the identity functor and the canonical isomorphism A '......
9次引用 0 0
Types for Quantum Computing  
Abstract This thesis is a study of the construction and representation of typed models of quantum mechanics for use in quantum computation. We introduce logical and graphical syntax for quantum mechan......
3次引用 0 0
Induction, Coinduction, and Adjoints  
We investigate the reasons for which the existence of certain right adjoints implies the existence of some nal coalgebras, and vice-versa. In particular we prove and discuss the following theorem whi......
Electronic Notes in Theoretical Computer Science  2002
1次引用 0 0
Morphisms and Modules for Poly-Bicategories  
It is known that monoidal (or lax) functors and monoidal (or lax) transformations donot combine well to form a higher dimensional structure with bicategories as objects. Thisproblem is inherited by th......
7次引用 0 0
AN EXTENDED VIEW OF THE CHU-CONSTRUCTION  
The cyclic Chu-construction for closed bicategories with pullbacks, which general- izes the original Chu-construction for symmetric monoidal closed categories, turns out to have a non-cyclic counterpa......
0次引用 0 0
The Logic of Linear Functors  
This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. This allows the consideration of logics which contain ......
Mathematical Structures in Computer Science  2002
9次引用 0 0
A monadic approach to polycategories  
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T -category", where T is a cartesian monad on a category X with ......
Electronic Notes in Theoretical Computer Science  2002
5次引用 0 0
Duals Invert  
Monoidal objects (or pseudomonoids) in monoidal bicategories share many of the properties of the paradigmatic example: monoidal categories. The existence of (say, left) duals in a monoidal category l......
Applied Categorical Structures  2011
0次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜