Globular
From MaRDI portal
Software:29882
swMATH18031MaRDI QIDQ29882FDOQ29882
Author name not available (Why is that?)
Cited In (13)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Syntactic approaches to opetopes
- Rewriting in Gray categories with applications to coherence
- Graphs, foams, tensors, polytopes, and homology
- Weak units, universal cells, and coherence via universality for bicategories
- Coherence of Gray Categories via Rewriting
- Globular: an online proof assistant for higher-dimensional rewriting
- DisCoPy: Monoidal Categories in Python
- Title not available (Why is that?)
- Graphical calculus of Hopf crossed modules
- Title not available (Why is that?)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
This page was built for software: Globular
