Graham R. Manuell

Available identifiers

Publication	Date of Publication	Type
Uniform locales and their constructive aspects	2024-04-09	Paper
Correction to: ``Presenting quotient locales	2023-09-25	Paper
Presenting quotient locales	2023-08-10	Paper
Weakly Schreier extensions for general algebras	2023-08-03	Paper
The representing localic groupoid for a geometric theory	2023-05-24	Paper
Pointfree topology and constructive mathematics	2023-04-12	Paper
Artin glueings of toposes as adjoint split extensions	2023-02-17	Paper
The spectrum of a localic semiring	2022-10-21	Paper
Monoid extensions and the Grothendieck construction	2022-10-04	Paper
Machine Space I: Weak exponentials and quantification over compact spaces	2022-09-22	Paper
Quantalic spectra of semirings	2022-01-17	Paper
Congruence frames of frames and $\kappa$-frames	2022-01-15	Paper
2-dimensional bifunctor theorems and distributive laws	2021-12-29	Paper
Monoid extensions and the Grothendieck construction	2021-12-19	Paper
Quotients of monoid extensions and their interplay with Baer sums	2021-03-09	Paper
Artin glueings of toposes as adjoint split extensions	2020-12-09	Paper
Artin glueings of frames as semidirect products	2020-04-07	Paper
The congruence biframe as a quasi-uniform bicompletion	2020-04-06	Paper
Strictly zero-dimensional biframes and a characterisation of congruence frames	2018-08-10	Paper
Strictly zero-dimensional biframes and a characterisation of congruence frames	2017-10-30	Paper
A special class of congruences on $\kappa$-frames	2017-10-24	Paper

This page was built for person: Graham R. Manuell