Did you mean: Generalized power locales via relation lifting
Feb 15, 2012 · We show how to extend certain natural transformations between set functors to natural transformations between $\T$-powerlocale functors. Finally ...
We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, we prove that the ...
Aug 30, 2012 · This paper introduces an endofunctor VT on the category of frames that is parametrised by an endofunctor T on the category Set that ...
We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, we prove that the ...
Feb 1, 2013 · We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, ...
Missing: Generalized | Show results with:Generalized
The construction of the T-powerlocale VT out of a frame is based on ideas from coal algebraic logic and makes explicit the connection between the Vietoris ...
Feb 1, 2013 · We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, ...
Missing: Generalized | Show results with:Generalized
Feb 15, 2012 · GENERALIZED POWERLOCALES VIA RELATION LIFTING. 3 logic: the category of Kripke frames and bounded morphisms is isomorphic to the category of ...
(with Yde Venema and Jacob Vosmaer) "Generalized powerlocales via relation lifting" defines a generalization of the Vietoris powerlocale. For the Vietoris ...
Apr 1, 2020 · Yde Venema, Steve Vickers, Jacob Vosmaer: Generalised powerlocales via relation lifting. Math. Struct. Comput. Sci. 23(1): 142-199 (2013).
Missing: Generalized | Show results with:Generalized