55 citations · 97 across the 13 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.RA2012★ 1 cited
A non-commutative Priestley duality
Andrej Bauer, Karin Cvetko-Vah, Mai Gehrke +2
We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley…
math.CT2012★ 10 cited
On the Bourbaki-Witt Principle in Toposes
Andrej Bauer, Peter LeFanu Lumsdaine
The Bourbaki-Witt principle states that any progressive map on a chain-complete poset has a fixed point above every point. It is provable classically, but not intuitionistically. W…