Artin glueings of frames as semidirect products PF Faul, GR Manuell Journal of Pure and Applied Algebra 224 (8), 106334, 2020 | 12 | 2020 |
2-dimensional bifunctor theorems and distributive laws PF Faul, G Manuell, J Siqueira arXiv preprint arXiv:2010.07926, 2020 | 9 | 2020 |
Artin glueings of toposes as adjoint split extensions PF Faul, G Manuell, J Siqueira Journal of Pure and Applied Algebra 227 (5), 107273, 2023 | 6 | 2023 |
A special class of congruences on -frames G Manuell Algebra universalis 78 (2), 125-130, 2017 | 6 | 2017 |
Quotients of monoid extensions and their interplay with Baer sums PF Faul, GR Manuell Journal of Algebra 574, 550-570, 2021 | 5 | 2021 |
Quantalic spectra of semirings G Manuell arXiv preprint arXiv:2201.06408, 2022 | 4 | 2022 |
Congruence frames of frames and -frames G Manuell arXiv preprint arXiv:2201.08897, 2022 | 4 | 2022 |
A simple lower bound for ARRIVAL G Manuell arXiv preprint arXiv:2108.06273, 2021 | 4 | 2021 |
Strictly zero-dimensional biframes and a characterisation of congruence frames G Manuell Applied Categorical Structures 26 (4), 645-655, 2018 | 4 | 2018 |
Monoid extensions and the Grothendieck construction G Manuell Semigroup Forum 105 (2), 488-507, 2022 | 3 | 2022 |
Uniform locales and their constructive aspects G Manuell arXiv preprint arXiv:2106.00678, 2021 | 3 | 2021 |
Presenting quotient locales G Manuell Applied Categorical Structures 31 (4), 28, 2023 | 2 | 2023 |
The representing localic groupoid for a geometric theory G Manuell, JL Wrigley arXiv preprint arXiv:2305.15209, 2023 | 2 | 2023 |
The congruence biframe as a quasi-uniform bicompletion G Manuell Topology and its Applications 273, 106968, 2020 | 2 | 2020 |
Sequences suffice for pointfree uniform completions G Manuell arXiv preprint arXiv:2409.15569, 2024 | 1 | 2024 |
Localic uniform completions via Cauchy sequences G Manuell | | 2024 |
Weakly Schreier extensions for general algebras G Manuell, N Martins-Ferreira Algebra universalis 84 (3), 22, 2023 | | 2023 |
Pointfree topology and constructive mathematics G Manuell arXiv preprint arXiv:2304.06000, 2023 | | 2023 |
The spectrum of a localic semiring G Manuell Mathematical Proceedings of the Cambridge Philosophical Society 173 (3), 647-668, 2022 | | 2022 |
Machine Space I: Weak exponentials and quantification over compact spaces PF Faul, G Manuell arXiv preprint arXiv:2209.11339, 2022 | | 2022 |