pith. sign in

arxiv: 1809.05885 · v1 · pith:KW4A5DSHnew · submitted 2018-09-16 · 🧮 math.CT

Topological systems as a framework for institutions

classification 🧮 math.CT
keywords lattice-valuedtopologicalframeworkinstitutionssystemsanalogueburstallcertain
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.