12 citations · 31 across the 7 of their papers we have counts for
Showing 2015 · math.CTShow all
2 papers · 2 filters
math.CT2015
Orientals and cubes, inductively
Mitchell Buckley, Richard Garner
We provide direct inductive constructions of the orientals and the cubes, exhibiting them as the iterated cones, respectively, the iterated cylinders, of the terminal strict globul…
math.CT2015
Formalizing parity complexes
Mitchell Buckley
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the ess…