A formulation of D-institution using functor categories

Go Hashimoto

Variables are a crucial element in logic and are also addressed in institution theory, an effort to axiomatize logic. In institution theory, we typically use extensions (signature…