2 citations · 3 across the 4 of their papers we have counts for
4 papers
Higher tensor categories and their extensions: notes from the Scottish Talbot On Algebra and Topology
Diogo Andrade, Julia Bierent, Jennifer Brown +28
These lecture notes are the product of a week-long learning workshop on the work of Johnson-Freyd and Reutter on the problem of the existence of minimal nondegenerate extensions of…
Homotopy Bicategories of 2-fold Segal Spaces
Jack Romö
In this paper, we address the construction of homotopy bicategories of -categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concre…
The Improved GP 2 Compiler
Graham Campbell, Jack Romo, Detlef Plump
GP 2 is a rule-based programming language based on graph transformation rules which aims to facilitate program analysis and verification. Writing efficient programs in such a langu…
Improving the GP 2 Compiler
Graham Campbell, Jack Romo, Detlef Plump
GP 2 is an experimental programming language based on graph transformation rules which aims to facilitate program analysis and verification. Writing efficient programs in such a la…