Globular
From MaRDI portal
Software:29882
No author found.
Related Items (13)
String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Unnamed Item ⋮ DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coherence of Gray Categories via Rewriting ⋮ Globular: an online proof assistant for higher-dimensional rewriting ⋮ Graphical calculus of Hopf crossed modules ⋮ Syntactic approaches to opetopes ⋮ Graphs, foams, tensors, polytopes, and homology ⋮ Unnamed Item ⋮ Rewriting in Gray categories with applications to coherence
This page was built for software: Globular
