Registry · Remark
VII.R06
tau-effective
not_applicable
VII.R06 — Possible Worlds as Internal Domains
Possible worlds are internal domains of the presheaf topos with accessibility morphisms; modal realism reformulated.