Showing 1–4 of 4 results for author: Kock, J

Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)

Authors: Nicolas Behr, Joachim Kock

Abstract: Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic re… ▽ More Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic rewriting systems such as chemical reaction networks. △ Less

Submitted 3 November, 2022; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal ref: EPTCS 372, 2022, pp. 323-337

Whole-grain Petri nets and processes

Authors: Joachim Kock

Abstract: We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz and Reisig (processes are etale maps from graphs) and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props, and allows the following unification: for P a Petri net, the Segal space… ▽ More We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz and Reisig (processes are etale maps from graphs) and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props, and allows the following unification: for P a Petri net, the Segal space of P-processes is shown to be the free coloured prop-in-groupoids on P. There is also an unfolding semantics à la Winskel, which bypasses the classical symmetry problems: with the new formalism, every Petri net admits a universal unfolding, which in turn has associated an event structure and a Scott domain. Since everything is encoded with explicit sets, Petri nets and their processes have elements. In particular, individual-token semantics is native. (Collective-token semantics emerges from rather drastic quotient constructions à la Best-Devillers, involving taking π_0 of the groupoids of states.) △ Less

Submitted 5 January, 2023; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: This is the final 'author version', nearly identical to the version published in JACM. 58 pages. This paper previously had the title 'Elements of Petri nets and processes'

Report number: CPH-GEOTOP-DNRF151 MSC Class: 68Q85; 18M05; 18M35; 18M85 ACM Class: D.2.2

Journal ref: J. ACM 70 (1) (2022), 1--58

Homotopy composition of cospans

Authors: Joachim Kock, David I. Spivak

Abstract: It is well known that the category of finite sets and cospans, composed by pushout, contains the universal {\em special} commutative Frobenius algebra. In this note we observe that the same construction yields also general commutative Frobenius algebras, if just the pushouts are changed to homotopy pushouts. It is well known that the category of finite sets and cospans, composed by pushout, contains the universal {\em special} commutative Frobenius algebra. In this note we observe that the same construction yields also general commutative Frobenius algebras, if just the pushouts are changed to homotopy pushouts. △ Less

Submitted 27 April, 2016; v1 submitted 28 February, 2016; originally announced February 2016.

Comments: 4 pages. In this version: A more direct introduction and a additional few details on the tubular neighborhood argument. Final version, to appear in Commun. Contemp. Math

MSC Class: 16B50; 18D10; 18A30; 57N70; 57-XX; 94Cxx

Journal ref: Commun. Contemp. Math. 19 (2017), 1650047

Data types with symmetries and polynomial functors over groupoids

Authors: Joachim Kock

Abstract: Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory fo… ▽ More Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory for commutative semirings. In this talk I will explain how an upgrade of the theory from sets to groupoids is useful to deal with data types with symmetries, and provides a common generalisation of and a clean unifying framework for quotient containers (cf. Abbott et al.), species and analytic functors (Joyal 1985), as well as the stuff types of Baez-Dolan. The multi-variate setting also includes relations and spans, multispans, and stuff operators. An attractive feature of this theory is that with the correct homotopical approach - homotopy slices, homotopy pullbacks, homotopy colimits, etc. - the groupoid case looks exactly like the set case. After some standard examples, I will illustrate the notion of data-types-with-symmetries with examples from quantum field theory, where the symmetries of complicated tree structures of graphs play a crucial role, and can be handled elegantly using polynomial functors over groupoids. (These examples, although beyond species, are purely combinatorial and can be appreciated without background in quantum field theory.) Locally cartesian closed 2-categories provide semantics for 2-truncated intensional type theory. For a fullfledged type theory, locally cartesian closed \infty-categories seem to be needed. The theory of these is being developed by D.Gepner and the author as a setting for homotopical species, and several of the results exposed in this talk are just truncations of \infty-results obtained in joint work with Gepner. Details will appear elsewhere. △ Less

Submitted 2 October, 2012; originally announced October 2012.

Comments: This is the final version of my conference paper presented at the 28th Conference on the Mathematical Foundations of Programming Semantics (Bath, June 2012); to appear in the Electronic Notes in Theoretical Computer Science. 16pp

MSC Class: 68Q65; 18C50; 20L05; 05E18; 05C05 ACM Class: D.3.3; F.3.2

Journal ref: Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, Bath 2012, Electronic Notes in Theoretical Computer Science 286 (2012), 351-365