Topological systems as a framework for institutions
Category Theory
2018-09-18 v1
Abstract
Recently, J.~T.~Denniston, A.~Melton, and S.~E.~Rodabaugh introduced a lattice-valued analogue of the concept of institution of J.~A.~Goguen and R.~M.~Burstall, comparing it, moreover, with the (lattice-valued version of the) notion of topological system of S.~Vickers. In this paper, we show that a suitable generalization of topological systems provides a convenient framework for doing certain kinds of (lattice-valued) institutions.
Keywords
Cite
@article{arxiv.1809.05885,
title = {Topological systems as a framework for institutions},
author = {Jeffrey T. Denniston and Austin Melton and Stephen E. Rodabaugh and Sergey A. Solovyov},
journal= {arXiv preprint arXiv:1809.05885},
year = {2018}
}