On Intuitionistic S4 and Augmented Simplicial Sets

@inproceedings{Goubault2007OnIS,
  title={On Intuitionistic S4 and Augmented Simplicial Sets},
  author={{\'E}ric Goubault},
  year={2007}
}
Simplicial, and augmented simplicial (a.s. for short) sets are a basic too l of algebraic topology. On the other hand, S4 is a ubiquitous modal logic. We show that both are i ntimately related. Notably, every natural deduction intuitionistic S4 proof (defined in Section 2) is naturally interpreted as an a.s. map, once a choice of a.s. sets to represent base… CONTINUE READING