Worked Detected Obstruction Calculus for Identity-Eliminator-Conserved Bilateral HoTT
Year: 2026
Type: preprint
Abstract: This is Paper 16 in the 20 Paper PHHT Series This paper develops a worked finite detected obstruction calculus for identity-eliminator-conserved bilateral homotopy type theory. For a retained identity glut (p,R), the abstract obstruction tower assigns recursively indexed pointed obstructions o_k(p,R;η_<k) ∈ Ob_k(p,R;η_<k), where each stage is defined only after the lower filler package η_
Author: Betzer, David
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7166716407
Cites:
Cited by:
Related to: