Matches in SemOpenAlex for { <https://semopenalex.org/work/W2271134883> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2271134883 abstract "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 essential combinatorial structure exhibited by simplexes, cubes and globes, that enable the construction of free $omega$-categories on such objects. The excision of extremals is a recursive algorithm that presents every cell in such a category as a (unique) composite of atomic cells. This is the sense in which the $omega$-category is (freely) generated from its atoms. Due to the complicated multi-dimensional nature of this work, the detail of definitions and proofs can be hard to follow and verify. Indeed, some corrections were required some years following the original publication~cite{Street1994}. Our formalisation verifies that all cases of each result operate as stated. In particular, we indicate which portions of the theory can be proved directly from definitions, and which require more subtle and complex arguments. By identifying results that require the most complicated proofs, we are able to investigate where this theory might benefit from further study and which results need to be considered most carefully in future work." @default.
- W2271134883 created "2016-06-24" @default.
- W2271134883 creator A5044115177 @default.
- W2271134883 date "2015-04-09" @default.
- W2271134883 modified "2023-09-27" @default.
- W2271134883 title "Formalizing parity complexes" @default.
- W2271134883 cites W1570915607 @default.
- W2271134883 cites W1970417324 @default.
- W2271134883 cites W1983574799 @default.
- W2271134883 cites W2070954688 @default.
- W2271134883 cites W2076580453 @default.
- W2271134883 cites W2098835936 @default.
- W2271134883 cites W2118288032 @default.
- W2271134883 cites W2154941532 @default.
- W2271134883 cites W653035504 @default.
- W2271134883 hasPublicationYear "2015" @default.
- W2271134883 type Work @default.
- W2271134883 sameAs 2271134883 @default.
- W2271134883 citedByCount "0" @default.
- W2271134883 crossrefType "posted-content" @default.
- W2271134883 hasAuthorship W2271134883A5044115177 @default.
- W2271134883 hasConcept C108710211 @default.
- W2271134883 hasConcept C114614502 @default.
- W2271134883 hasConcept C118615104 @default.
- W2271134883 hasConcept C121332964 @default.
- W2271134883 hasConcept C2524010 @default.
- W2271134883 hasConcept C2777151079 @default.
- W2271134883 hasConcept C2779557605 @default.
- W2271134883 hasConcept C33923547 @default.
- W2271134883 hasConcept C41008148 @default.
- W2271134883 hasConcept C62438384 @default.
- W2271134883 hasConcept C62520636 @default.
- W2271134883 hasConcept C80444323 @default.
- W2271134883 hasConceptScore W2271134883C108710211 @default.
- W2271134883 hasConceptScore W2271134883C114614502 @default.
- W2271134883 hasConceptScore W2271134883C118615104 @default.
- W2271134883 hasConceptScore W2271134883C121332964 @default.
- W2271134883 hasConceptScore W2271134883C2524010 @default.
- W2271134883 hasConceptScore W2271134883C2777151079 @default.
- W2271134883 hasConceptScore W2271134883C2779557605 @default.
- W2271134883 hasConceptScore W2271134883C33923547 @default.
- W2271134883 hasConceptScore W2271134883C41008148 @default.
- W2271134883 hasConceptScore W2271134883C62438384 @default.
- W2271134883 hasConceptScore W2271134883C62520636 @default.
- W2271134883 hasConceptScore W2271134883C80444323 @default.
- W2271134883 hasLocation W22711348831 @default.
- W2271134883 hasOpenAccess W2271134883 @default.
- W2271134883 hasPrimaryLocation W22711348831 @default.
- W2271134883 hasRelatedWork W1489383421 @default.
- W2271134883 hasRelatedWork W1524750318 @default.
- W2271134883 hasRelatedWork W170035804 @default.
- W2271134883 hasRelatedWork W1722305115 @default.
- W2271134883 hasRelatedWork W1967431146 @default.
- W2271134883 hasRelatedWork W2018941027 @default.
- W2271134883 hasRelatedWork W2061679993 @default.
- W2271134883 hasRelatedWork W2094818741 @default.
- W2271134883 hasRelatedWork W2138557556 @default.
- W2271134883 hasRelatedWork W2202863966 @default.
- W2271134883 hasRelatedWork W25937446 @default.
- W2271134883 hasRelatedWork W2768840213 @default.
- W2271134883 hasRelatedWork W2804574205 @default.
- W2271134883 hasRelatedWork W2950731582 @default.
- W2271134883 hasRelatedWork W3043695005 @default.
- W2271134883 hasRelatedWork W3156427813 @default.
- W2271134883 hasRelatedWork W612509057 @default.
- W2271134883 hasRelatedWork W785823749 @default.
- W2271134883 hasRelatedWork W92059193 @default.
- W2271134883 hasRelatedWork W2187499410 @default.
- W2271134883 isParatext "false" @default.
- W2271134883 isRetracted "false" @default.
- W2271134883 magId "2271134883" @default.
- W2271134883 workType "article" @default.