Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids

By Ronald Brown, P. J. Higgins, R. Sivera. 2011

242 citations recorded by the source corpus.

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/5c03aaaa7ccb4d8331a75e6671a562e830f9b6b6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

1. Thierry Coquand
2. Emily Riehl
3. Nicola Gambino
4. Michael Shulman
5. Christian Sattler

In Mathematical Physics

1. Emily Riehl
2. Nicola Gambino
3. Christian Sattler
4. Michael Shulman

Citations in the corpus

• Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom (2015, background): “Well-formed contexts, Γ (The condition x / ∈ dom(Γ) means that x is not declared in Γ) TYPES 2015”