2 citations · 4 across the 2 of their papers we have counts for
4 papers
homotopy.io: a proof assistant for finitely-presented globular -categories
Nathan Corbyn, Lukas Heidemann, Nick Hu +3
We present the proof assistant homotopy.io for working with finitely-presented semistrict higher categories. The tool runs in the browser with a point-and-click interface, allowing…
Traced Monoidal Categories as Algebraic Structures in Prof
Nick Hu, Jamie Vicary
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categorie…
Traced monoidal categories as algebraic structures in
Nick Hu, Jamie Vicary
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categorie…
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu +2
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, et…