6 citations · 17 across the 8 of their papers we have counts for
8 papers
Generalised Möbius Categories and Convolution Kleene Algebras
James Cranch, Georg Struth, Jana Wagemaker
Convolution algebras on maps from structures such as monoids, groups or categories into semirings, rings or fields abound in mathematics and the sciences. Of special interest in co…
Interacting Monoidal Structures with Applications in Computing
James Cranch, Georg Struth
With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of -fold monoid and comonoid objects in -fold…
Cohomology of coloured partition algebras
James Cranch, Daniel Graves
Coloured partition algebras were introduced by Bloss and exhibit a Schur-Weyl duality with certain complex reflection groups. In this paper we show that these algebras exhibit homo…
Convolution and Concurrency
James Cranch, Simon Doherty, Georg Struth
We show how concurrent quantales and concurrent Kleene algebras arise as convolution algebras of functions from structures with two ternary relations that satisfy relatio…
Relational Semigroups and Object-Free Categories
James Cranch, Simon Doherty, Georg Struth
This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We disc…
Concrete Categories in Homotopy Type Theory
James Cranch
We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some t…