Manuell, Graham Presenting quotient locales. (English) Zbl 07725390 Appl. Categ. Struct. 31, No. 4, Paper No. 28, 14 p. (2023); correction ibid. 31, No. 5, Paper No. 35, 1 p. (2023). MSC: 06D22 54B15 PDFBibTeX XMLCite \textit{G. Manuell}, Appl. Categ. Struct. 31, No. 4, Paper No. 28, 14 p. (2023; Zbl 07725390) Full Text: DOI arXiv
Manuell, Graham The spectrum of a localic semiring. (English) Zbl 07605298 Math. Proc. Camb. Philos. Soc. 173, No. 3, 647-668 (2022). MSC: 54B35 06D22 54H13 13J99 54B30 13A15 06F07 03F65 PDFBibTeX XMLCite \textit{G. Manuell}, Math. Proc. Camb. Philos. Soc. 173, No. 3, 647--668 (2022; Zbl 07605298) Full Text: DOI arXiv
Frosoni, Giulia; Rosolini, Giuseppe; Santamaria, Alessio Frames and topological algebras for a double-power monad. (English) Zbl 1440.18007 J. Log. Anal. 11, Paper No. FT5, 21 p. (2019). Reviewer: Jorge Picado (Coimbra) MSC: 18C15 18D15 18F70 06D22 54B30 PDFBibTeX XMLCite \textit{G. Frosoni} et al., J. Log. Anal. 11, Paper No. FT5, 21 p. (2019; Zbl 1440.18007) Full Text: Link
de Brecht, Matthew; Kawai, Tatsuji On the commutativity of the powerspace constructions. (English) Zbl 1528.06017 Log. Methods Comput. Sci. 15, No. 3, Paper No. 13, 25 p. (2019). MSC: 06D22 03E15 06B35 54H05 PDFBibTeX XMLCite \textit{M. de Brecht} and \textit{T. Kawai}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 13, 25 p. (2019; Zbl 1528.06017) Full Text: arXiv
Frosoni, Giulia; Rosolini, Giuseppe Equilogical spaces and algebras for a double-power monad. (English) Zbl 1425.18002 Tbil. Math. J. 10, No. 3, 121-139 (2017). MSC: 18D15 06D22 54B30 PDFBibTeX XMLCite \textit{G. Frosoni} and \textit{G. Rosolini}, Tbil. Math. J. 10, No. 3, 121--139 (2017; Zbl 1425.18002) Full Text: DOI
Venema, Yde; Vickers, Steve; Vosmaer, Jacob Generalised powerlocales via relation lifting. (English) Zbl 1268.54004 Math. Struct. Comput. Sci. 23, No. 1, 142-199 (2013). Reviewer: Jorge Picado (Coimbra) MSC: 54B20 03F60 03G30 06D22 18B25 18C15 PDFBibTeX XMLCite \textit{Y. Venema} et al., Math. Struct. Comput. Sci. 23, No. 1, 142--199 (2013; Zbl 1268.54004) Full Text: DOI arXiv
Battenfeld, Ingo Observationally-induced effects in Cartesian closed categories. (English) Zbl 1342.68068 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 43-56 (2012). MSC: 68N30 18D15 54A05 54B30 68Q55 PDFBibTeX XMLCite \textit{I. Battenfeld}, Electron. Notes Theor. Comput. Sci. 286, 43--56 (2012; Zbl 1342.68068) Full Text: DOI
Maietti, Maria Emilia; Vickers, Steven An induction principle for consequence in arithmetic universes. (English) Zbl 1253.03099 J. Pure Appl. Algebra 216, No. 8-9, 2049-2067 (2012). Reviewer: Marco Benini (Buccinasco) MSC: 03G30 03F50 54B40 PDFBibTeX XMLCite \textit{M. E. Maietti} and \textit{S. Vickers}, J. Pure Appl. Algebra 216, No. 8--9, 2049--2067 (2012; Zbl 1253.03099) Full Text: DOI
Vickers, Steven Cosheaves and connectedness in formal topology. (English) Zbl 1251.03091 Ann. Pure Appl. Logic 163, No. 2, 157-174 (2012). MSC: 03F60 03F65 18F10 54B20 54D05 PDFBibTeX XMLCite \textit{S. Vickers}, Ann. Pure Appl. Logic 163, No. 2, 157--174 (2012; Zbl 1251.03091) Full Text: DOI HAL
Goubault-Larrecq, Jean De Groot duality and models of choice: angels, demons and nature. (English) Zbl 1193.06005 Math. Struct. Comput. Sci. 20, No. 2, 169-237 (2010). MSC: 06B35 54D30 68Q55 PDFBibTeX XMLCite \textit{J. Goubault-Larrecq}, Math. Struct. Comput. Sci. 20, No. 2, 169--237 (2010; Zbl 1193.06005) Full Text: DOI
Townsend, C. F. An axiomatic account of weak triquotient assignments in locale theory. (English) Zbl 1274.18010 J. Pure Appl. Algebra 214, No. 6, 729-739 (2010). MSC: 18B30 03G30 54B30 PDFBibTeX XMLCite \textit{C. F. Townsend}, J. Pure Appl. Algebra 214, No. 6, 729--739 (2010; Zbl 1274.18010) Full Text: DOI
Vickers, Steven The connected Vietoris powerlocale. (English) Zbl 1171.54009 Topology Appl. 156, No. 11, 1886-1910 (2009). Reviewer: Eva Colebunders (Brussels) MSC: 54B20 54D05 06D22 03G30 26E40 54E50 PDFBibTeX XMLCite \textit{S. Vickers}, Topology Appl. 156, No. 11, 1886--1910 (2009; Zbl 1171.54009) Full Text: DOI Link
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M. Coalgebraic representations of distributive lattices with operators. (English) Zbl 1108.06005 Topology Appl. 154, No. 4, 778-791 (2007). MSC: 06D05 06D50 18C10 54F05 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., Topology Appl. 154, No. 4, 778--791 (2007; Zbl 1108.06005) Full Text: DOI
Townsend, Christopher F. A categorical proof of the equivalence of local compactness of exponentiability in locale theory. (English) Zbl 1114.06005 Cah. Topol. Géom. Différ. Catég. 47, No. 3, 233-239 (2006). Reviewer: Dexue Zhang (Chengdu) MSC: 06D22 54B30 54C35 PDFBibTeX XMLCite \textit{C. F. Townsend}, Cah. Topol. Géom. Différ. Catég. 47, No. 3, 233--239 (2006; Zbl 1114.06005) Full Text: Numdam EuDML
Vickers, Steven Compactness in locales and in formal topology. (English) Zbl 1077.03041 Ann. Pure Appl. Logic 137, No. 1-3, 413-438 (2006). MSC: 03F65 06D22 54A05 54B20 54D30 PDFBibTeX XMLCite \textit{S. Vickers}, Ann. Pure Appl. Logic 137, No. 1--3, 413--438 (2006; Zbl 1077.03041) Full Text: DOI Link
Townsend, C. F. On the parallel between the suplattice and preframe approaches to locale theory. (English) Zbl 1079.06012 Ann. Pure Appl. Logic 137, No. 1-3, 391-412 (2006). MSC: 06D22 54A05 54B30 03F65 PDFBibTeX XMLCite \textit{C. F. Townsend}, Ann. Pure Appl. Logic 137, No. 1--3, 391--412 (2006; Zbl 1079.06012) Full Text: DOI
Vickers, Steven Entailment systems for stably locally compact locales. (English) Zbl 1047.06007 Theor. Comput. Sci. 316, No. 1-3, 259-296 (2004). MSC: 06D22 54D45 03F55 03B70 54B30 PDFBibTeX XMLCite \textit{S. Vickers}, Theor. Comput. Sci. 316, No. 1--3, 259--296 (2004; Zbl 1047.06007) Full Text: DOI Link
Townsend, C. F. Presenting locale pullback via directed complete posets. (English) Zbl 1048.18003 Theor. Comput. Sci. 316, No. 1-3, 225-258 (2004). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18B25 06B35 06D22 18A30 18D20 54D10 PDFBibTeX XMLCite \textit{C. F. Townsend}, Theor. Comput. Sci. 316, No. 1--3, 225--258 (2004; Zbl 1048.18003) Full Text: DOI
Bonsangue, Marcello M.; Jacobs, Bart; Kok, Joost N. Duality beyond sober spaces: Topological spaces and observation frames. (English) Zbl 0872.06011 Theor. Comput. Sci. 151, No. 1, 79-124 (1995). MSC: 06D30 03G10 54A05 54B30 68Q55 18A40 PDFBibTeX XMLCite \textit{M. M. Bonsangue} et al., Theor. Comput. Sci. 151, No. 1, 79--124 (1995; Zbl 0872.06011) Full Text: DOI Link