Graham Manuell

graham@mathstodon.xyz

<p>I&#39;m a pointfree topologist who is also interested in category theory, constructive mathematics, algebra and computer science, amongst other things.</p>