Preprint / scholarly article

Theory of Relativity of Theories

K. Takahashi

Published
DOI
10.5281/zenodo.17345898

Abstract

We organize proof systems and models through polarity (Galois connections/adjunctions) and residuation, and study the role of lax/oplax morphisms in transporting theorems between theories.

Keywords

  • category theory
  • categorical semantics
  • adjunction
  • galois connection
  • polarity
  • residuation
  • residuated lattice
  • quantale
  • enrichment
  • monoidal closed category

Identifiers and source records