Showing 1–12 of 12 results for author: Pastro, C

Note on star-autonomous comonads

Authors: Craig Pastro

Abstract: 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. 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. △ Less

Submitted 25 October, 2010; originally announced October 2010.

Comments: 9 pages

Journal ref: Theory and Applications of Categories 26 (2012) 194-203

Note On Endomorphism Algebras Of Separable Monoidal Functors

Authors: Brian J. Day, Craig A. Pastro

Abstract: We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain. We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain. △ Less

Submitted 19 July, 2009; originally announced July 2009.

MSC Class: 18-02

Note on Frobenius monoidal functors

Authors: Brian Day, Craig Pastro

Abstract: It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient. It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient. △ Less

Submitted 18 April, 2008; v1 submitted 26 January, 2008; originally announced January 2008.

Comments: 8 pages; added new material

Journal ref: New York Journal of Mathematics 14 (2008) 733-742

Weak Hopf monoids in braided monoidal categories

Authors: Craig Pastro, Ross Street

Abstract: We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf monoid R \otimes R. We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf monoid R \otimes R. △ Less

Submitted 26 January, 2008; originally announced January 2008.

Comments: 45 pages

MSC Class: 16W30; 18B40; 18D10

Journal ref: Algebra and Number Theory 3 no. 2 (2009) 149-207

On endomorphism algebras of separable monoidal functors

Authors: Brian Day, Craig Pastro

Abstract: We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group. We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular notion of algebra is weaker than that of a Hopf algebra, although the corresponding concept in Set is again that of a group. △ Less

Submitted 11 December, 2007; originally announced December 2007.

Comments: 17 pages

Journal ref: Theory and Applications of Categories 22 (2009) 77-96

Closed categories, star-autonomy, and monoidal comonads

Authors: Craig Pastro, Ross Street

Abstract: This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift star-autonomy with the view to recasting the definition of quantum groupoid. This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G on C. We apply this to lift star-autonomy with the view to recasting the definition of quantum groupoid. △ Less

Submitted 3 December, 2007; originally announced December 2007.

Comments: 25 pages

MSC Class: 18D10; 18D15; 18C20

Journal ref: Journal of Algebra 321 no. 11 (2009) 3494-3520

Doubles for monoidal categories

Authors: Craig Pastro, Ross Street

Abstract: In a recent paper, Daisuke Tambara defined two-sided actions on an endomodule (= endodistributor) of a monoidal V-category A. When A is autonomous (= rigid = compact), he showed that the V-category (that we call Tamb(A)) of so-equipped endomodules (that we call Tambara modules) is equivalent to the monoidal centre Z[A,V] of the convolution monoidal V-category [A,V]. Our paper extends these ideas… ▽ More In a recent paper, Daisuke Tambara defined two-sided actions on an endomodule (= endodistributor) of a monoidal V-category A. When A is autonomous (= rigid = compact), he showed that the V-category (that we call Tamb(A)) of so-equipped endomodules (that we call Tambara modules) is equivalent to the monoidal centre Z[A,V] of the convolution monoidal V-category [A,V]. Our paper extends these ideas somewhat. For general A, we construct a promonoidal V-category DA (which we suggest should be called the double of A) with an equivalence [DA,V] \simeq Tamb(A). When A is closed, we define strong (respectively, left strong) Tambara modules and show that these constitute a V-category Tamb_s(A) (respectively, Tamb_{ls}(A)) which is equivalent to the centre (respectively, lax centre) of [A,V]. We construct localizations D_s A and D_{ls} A of DA such that there are equivalences Tamb_s(A) \simeq [D_s A,V] and Tamb_{ls}(A) \simeq [D_{ls} A,V]. When A is autonomous, every Tambara module is strong; this implies an equivalence Z[A,V] \simeq [DA,V]. △ Less

Submitted 12 November, 2007; originally announced November 2007.

Comments: 13 pages

Journal ref: Theory and Applications of Categories 21 (2008) 61-75

The logic of message passing

Authors: J. R. B. Cockett, Craig Pastro

Abstract: Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory. Not surprisingly the notation used for the ter… ▽ More Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory. Not surprisingly the notation used for the term calculus borrows heavily from the (synchronous) pi-calculus. The cut elimination procedure for the system provides an operational semantics. △ Less

Submitted 14 November, 2007; v1 submitted 23 March, 2007; originally announced March 2007.

Comments: 51 pages

Journal ref: Science of Computer Programming 74 no.8 (2009) 498-533

Restricted exchange, braidings and the monoidal centre

Authors: Jonathan A. Cohen, Craig A. Pastro

Abstract: Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising an… ▽ More Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising and confluent cut elimination procedure. The resulting logic fits neatly into the landscape of noncommutative logics and is distinguished by possessing a particularly perspicuous semantics. △ Less

Submitted 25 October, 2010; v1 submitted 1 May, 2006; originally announced May 2006.

Comments: 25 pages; withdrawn due to some errors

MSC Class: 18A15; 18D10; 03F05; 03F52

A language for multiplicative-additive linear logic

Authors: J. R. B. Cockett, C. A. Pastro

Abstract: A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system mod… ▽ More A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a confluent rewriting system modulo equations. △ Less

Submitted 15 April, 2004; originally announced April 2004.

Comments: 16 pages without appendices, 30 with appendices

MSC Class: 18C50; 03F52; 03F05

Journal ref: Electronic Notes in Theoretical Computer Science 122 (2005) 23-65

On the complexity of Cockett-Seely polarized games

Authors: J. R. B. Cockett, C. A. Pastro

Abstract: In this paper the complexity of provability of polarized additive, multiplicative, and exponential formulas in the (initial) Cockett-Seely polarized game logic is discussed. The complexity is ultimately based on the complexity of finding a strategy in a formula which is, for polarized additive formulas, in the worst case linear in their size. Having a proof of a sequent is equivalent to having a… ▽ More In this paper the complexity of provability of polarized additive, multiplicative, and exponential formulas in the (initial) Cockett-Seely polarized game logic is discussed. The complexity is ultimately based on the complexity of finding a strategy in a formula which is, for polarized additive formulas, in the worst case linear in their size. Having a proof of a sequent is equivalent to having a strategy for the internal-hom object. In order to show that the internal-hom object can have size exponentially larger than the formulas of the original sequent we develop techniques for calculating the size of the multiplicative formulas. The structure of the internal hom object can be exploited and, using dynamic programming techniques, one can reduce the cost of finding a strategy in such a formula to the order of the product of the sizes of the original formulas. The use of dynamic techniques motivates the consideration of games as acyclic graphs and we show how to calculate the size of these graph games for the multiplicative and additive fragment and, thus, the cost of determining their provability using this dynamic programming approach. The final section of the paper points out that, despite the apparent complexity of the formulas, there is, for the initial polarized logic with all the connectives (additives, multiplicatives, and exponentials) a way of determining provability which is \emph{linear} in the size of the formulas. △ Less

Submitted 29 February, 2004; v1 submitted 26 February, 2004; originally announced February 2004.

Comments: 27 pages

MSC Class: 03F20; 03F52; 18A15

ΣΠ-polycategories, additive linear logic, and process semantics

Authors: C. A. Pastro

Abstract: We present a process semantics for the purely additive fragment of linear logic in which formulas denote protocols and (equivalence classes of) proofs denote multi-channel concurrent processes. The polycategorical model induced by this process semantics is shown to be equivalent to the free polycategory based on the syntax (i.e., it is full and faithfully complete). This establishes that the add… ▽ More We present a process semantics for the purely additive fragment of linear logic in which formulas denote protocols and (equivalence classes of) proofs denote multi-channel concurrent processes. The polycategorical model induced by this process semantics is shown to be equivalent to the free polycategory based on the syntax (i.e., it is full and faithfully complete). This establishes that the additive fragment of linear logic provides a semantics of concurrent processes. Another property of this semantics is that it gives a canonical representation of proofs in additive linear logic. This arXived version omits Section 1.7.1: "Circuit diagrams for polycategories" as the Xy-pic diagrams would not compile due to lack of memory. For a complete version see "http://www.cpsc.ucalgary.ca/~pastroc/". △ Less

Submitted 6 April, 2004; v1 submitted 22 December, 2003; originally announced December 2003.

Comments: 175 pages, University of Calgary Master's thesis

Report number: Master's thesis, University of Calgary, 2004 MSC Class: 18A15; 03F52; 68Q85