activity
20142023
most citedObservationally-induced algebras in Domain Theory

3 citations · 6 across the 8 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

math.CT2021

An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal

Richard Garner, Thomas Streicher

We describe an essential local geometric morphism which is not locally connected, though its inverse image part defines an exponential ideal