One approach is to no longer work with domains, but instead to interpret types as functors from some category of worlds to a category of domains.
Μια προσέγγιση είναι να μη χρησιμοποιούνται πια πεδία, αλλά να ερμηνεύονται οι τύποι ως functors από κάποια κατηγορία από κόσμους σε μια κατηγορία από πεδία.