The following pages link to The three dimensions of proofs (Q2498912):
Displaying 5 items.
- Answers in search of a question: `proofs' of the tri-dimensionality of space (Q640247) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- Intensional properties of polygraphs (Q2870314) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)