Modality via Iterated Enrichment

Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase

This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly…