Parametrität durch Kohäsion

Die Kernaussage dieses Artikels ist, dass Parametrität im Wesentlichen einen modalen Aspekt hat, der eng mit dem kategorietheoretischen Konzept der Kohäsion verbunden ist. Auf dieser Grundlage wird eine allgemeine kategorielle Semantik für modale Parametrität beschrieben und ein entsprechendes Axiomensystem in der abhängigen Typentheorie entwickelt, um solche Parametrität intern darzustellen und zu beweisen.