About Graham Manuell

I'm a pointfree topologist who is also interested in category theory, constructive mathematics, algebra and computer science, amongst other things.

Lists

Timeline

graham has no activity yet