6 citations · 17 across the 8 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2024
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…
math.CT2013★ 3 cited
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…