The following pages link to Globular (Q29882):
Displaying 13 items.
- Globular: an online proof assistant for higher-dimensional rewriting (Q3130548) (← links)
- Graphs, foams, tensors, polytopes, and homology (Q4692250) (← links)
- Coherence of Gray Categories via Rewriting (Q4993341) (← links)
- DisCoPy: Monoidal Categories in Python (Q5019676) (← links)
- (Q5028464) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Syntactic approaches to opetopes (Q5094693) (← links)
- Graphical calculus of Hopf crossed modules (Q5160564) (← links)
- (Q5227516) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Globular: an online proof assistant for higher-dimensional rewriting (Q5369499) (← links)
- (Q5875361) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)