3 citations · 3 across the 4 of their papers we have counts for
4 papers
Generic bundles over a localic category
Graham Manuell, Joshua L. Wrigley
In this paper we construct classifying localic categories and groupoids for various bundles equipped with logical structure. When these bundles are local homeomorphisms, we recover…
Quantalic spectra of semirings
Graham Manuell
Spectrum constructions appear throughout mathematics as a way of constructing topological spaces from algebraic data. Given a commutative localic semiring R (the pointfree analogue…
A simple lower bound for ARRIVAL
Graham Manuell
The ARRIVIAL problem introduced by Dohrau, Gärtner, Kohler, Matoušek and Welzl concerns a train moving on a directed graph proceeding along outward edges according to the position…
The spectrum of a localic semiring
Graham Manuell
A number of spectrum constructions have been devised to extract topological spaces from algebraic data. Prominent examples include the Zariski spectrum of a commutative ring, the S…