Showing 1–15 of 15 results for author: Walters, R F C

Racks and blocked braids

Authors: N. Sabadini, R. F. C. Walters

Abstract: In the paper Blocked-braid Groups, submitted to Applied Categorical Structures, the present authors together with Davide Maglia introduced the blocked-braid groups BB_n on n strands, and proved that a blocked torsion has order either 2 or 4. We conjectured that the order was actually 4 but our methods in that paper, which involved introducing for any group G a braided monoidal category of tangled… ▽ More In the paper Blocked-braid Groups, submitted to Applied Categorical Structures, the present authors together with Davide Maglia introduced the blocked-braid groups BB_n on n strands, and proved that a blocked torsion has order either 2 or 4. We conjectured that the order was actually 4 but our methods in that paper, which involved introducing for any group G a braided monoidal category of tangled relations, were inadequate to demonstrate this fact. Subsequently Davide Maglia in unpublished work investigated exactly what part of the structure and properties of a group G are needed to permit the construction of a braided monoidal category with a tangle algebra and was able to distinguish blocked two-torsions from the identity. In this paper we present a simplification of his answer, which turns out to be related to the notion of rack. We show that if G is a rack then there is a braided monoidal category TRel_G generalizing that of the above paper. Further we introduce a variation of the notion of rack which we call irack which yields a tangle algebra in TRel_G. Iracks are in particular racks but have in addition to the operations abstracting group conjugation also a unary operation abstracting group inverse. Using iracks we obtain new invariants for tangles and blocked braids permitting us to present a proof of Maglia's result that a blocked double torsion is not the identity. This work was presented at the Conference in Memory of Aurelio Carboni, Milan, 24-26 June 2013. △ Less

Submitted 20 July, 2013; originally announced July 2013.

Blocked-braid Groups

Authors: D. Maglia, N. Sabadini, R. F. C. Walters

Abstract: We introduce and study a family of groups $\mathbf{BB}_n$, called the blocked-braid groups, which are quotients of Artin's braid groups $\mathbf{B}_n$, and have the corresponding symmetric groups $Σ_n$ as quotients. They are defined by adding a certain class of geometrical modifications to braids. They arise in the study of commutative Frobenius algebras and tangle algebras in braided strict monoi… ▽ More We introduce and study a family of groups $\mathbf{BB}_n$, called the blocked-braid groups, which are quotients of Artin's braid groups $\mathbf{B}_n$, and have the corresponding symmetric groups $Σ_n$ as quotients. They are defined by adding a certain class of geometrical modifications to braids. They arise in the study of commutative Frobenius algebras and tangle algebras in braided strict monoidal categories. A fundamental equation true in $\mathbf{BB}_n$ is Dirac's Belt Trick; that torsion through $4π$ is equal to the identity. We show that $\mathbf{BB}_n$ is finite for $n=1,2$ and 3 but infinite for $n>3$. △ Less

Submitted 20 July, 2013; originally announced July 2013.

Tangled Circuits

Authors: R. Rosebrugh, N. Sabadini, R. F. C. Walters

Abstract: The theme of the paper is the use of commutative Frobenius algebras in braided strict monoidal categories in the study of varieties of circuits and communicating systems which occur in Computer Science, including circuits in which the wires are tangled. We indicate also some possible novel geometric interest in such algebras. The theme of the paper is the use of commutative Frobenius algebras in braided strict monoidal categories in the study of varieties of circuits and communicating systems which occur in Computer Science, including circuits in which the wires are tangled. We indicate also some possible novel geometric interest in such algebras. △ Less

Submitted 4 October, 2011; originally announced October 2011.

MSC Class: 18D10

The compositional construction of Markov processes II

Authors: L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

Abstract: In an earlier paper we introduced a notion of Markov automaton, together with parallel operations which permit the compositional description of Markov processes. We illustrated by showing how to describe a system of n dining philosophers, and we observed that Perron-Frobenius theory yields a proof that the probability of reaching deadlock tends to one as the number of steps goes to infinity. In th… ▽ More In an earlier paper we introduced a notion of Markov automaton, together with parallel operations which permit the compositional description of Markov processes. We illustrated by showing how to describe a system of n dining philosophers, and we observed that Perron-Frobenius theory yields a proof that the probability of reaching deadlock tends to one as the number of steps goes to infinity. In this paper we add sequential operations to the algebra (and the necessary structure to support them). The extra operations permit the description of hierarchical systems, and ones with evolving geometry. △ Less

Submitted 6 May, 2010; originally announced May 2010.

Bicategories of spans as cartesian bicategories

Authors: Stephen Lack, R. F. C. Walters, R. J. Wood

Abstract: Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic. △ Less

Submitted 12 February, 2010; v1 submitted 15 October, 2009; originally announced October 2009.

Journal ref: Theory and Applications of Categories, Vol. 24, No. 1, 2010, pp. 1{24

Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems

Authors: L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

Abstract: We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types. We develop further the algebra of cospans and spans of graphs introduced by Katis, Sabadini and Walters for the sequential and parallel composition of processes, adding here data types. △ Less

Submitted 23 September, 2009; originally announced September 2009.

A process algebra for the Span(Graph) model of concurrency

Authors: P. Katis, N. Sabadini, R. F. C. Walters

Abstract: In this note we define a process algebra TCP (Truly Concurrent Processes) which corresponds closely with the automata model of concurrency based on Span(RGraph), the category of spans of reflexive graphs. In TCP, each process has a fixed set of interfaces. Actions are allowed to occur simultaneously on all the interfaces of a process. Asynchrony is modelled by the use of silent actions. Communic… ▽ More In this note we define a process algebra TCP (Truly Concurrent Processes) which corresponds closely with the automata model of concurrency based on Span(RGraph), the category of spans of reflexive graphs. In TCP, each process has a fixed set of interfaces. Actions are allowed to occur simultaneously on all the interfaces of a process. Asynchrony is modelled by the use of silent actions. Communication is anonymous: communication between two processes P and Q is described by an operation which connects some of the ports of P to some of the ports of Q; and a process can only communicate with other processes via its interfaces. The model is naturally equipped with a compositional semantics in terms of the operations in Span(RGraph) introduced in [5], and developed in [6, 7, 10]. △ Less

Submitted 25 April, 2009; originally announced April 2009.

Comments: This is a updated version of an unpublished document written in 2000. It was also contained in the report of an Italian project: ART 2008, Analysing Reduction systems using Transition systems, Forum, Udine, 2008

The parallel composition of processes

Authors: L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

Abstract: We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying broadcast communication. We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying broadcast communication. △ Less

Submitted 25 April, 2009; originally announced April 2009.

Comments: This article was presented at Category Theory 2008 in Calais. It was also contained in the report of an Italian project: ART 2008, Analysing Reduction systems using Transition systems, Forum, Udine, 2008

An algebra of automata which includes both classical and quantum entities

Authors: L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

Abstract: We describe an algebra for composing automata which includes both classical and quantum entities and their communications. We illustrate by describing in detail a quantum protocol. We describe an algebra for composing automata which includes both classical and quantum entities and their communications. We illustrate by describing in detail a quantum protocol. △ Less

Submitted 29 January, 2009; originally announced January 2009.

The compositional construction of Markov processes

Authors: L. de Francesco Albasini, N. Sabadini, R. F. C. Walters

Abstract: We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in a model of the classical Dining Philosopher problem, and show, using the Perron-Frobenius Theorem, that this probability tends to 1 as k tends to infinity. We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in a model of the classical Dining Philosopher problem, and show, using the Perron-Frobenius Theorem, that this probability tends to 1 as k tends to infinity. △ Less

Submitted 16 January, 2009; originally announced January 2009.

On partita doppia

Authors: Piergiulio Katis, N. Sabadini, R. F. C. Walters

Abstract: We give a precise mathematical account of partita doppia in terms of an algebraic structure on the bicategory of spans of reflexive graphs. (The paper was written in 1998.) We give a precise mathematical account of partita doppia in terms of an algebraic structure on the bicategory of spans of reflexive graphs. (The paper was written in 1998.) △ Less

Submitted 17 March, 2008; originally announced March 2008.

MSC Class: 18D10

Calculating Colimits Compositionally

Authors: R. Rosebrugh, N. Sabadini, R. F. C. Walters

Abstract: We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages. We show how finite limits and colimits can be calculated compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages. △ Less

Submitted 15 December, 2007; originally announced December 2007.

MSC Class: 18A30

Frobenius Objects in Cartesian Bicategories

Authors: R. F. C. Walters, R. J. Wood

Abstract: Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid. Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comonoid homomorphisms and, for A Frobenius and any T in B, map(B)(T,A) is a groupoid. △ Less

Submitted 14 August, 2007; originally announced August 2007.

MSC Class: 18D5; 18D10

Cartesian Bicategories II

Authors: A. Carboni, G. M. Kelly, R. F. C Walters, R. J. Wood

Abstract: The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. The notion of cartesian bicategory, introduced by Carboni and Walters for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. △ Less

Submitted 14 August, 2007; originally announced August 2007.

MSC Class: 18D05; 18D10

A universal property of the monoidal 2-category of cospans of finite linear orders and surjections

Authors: M. Menni, N. Sabadini, R. F. C. Walters

Abstract: We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition. We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition. △ Less

Submitted 10 June, 2007; originally announced June 2007.