I am studying mathematics in Berlin. If you like to talk with me about categorical logic, category theory or type theory, send me a message. :)

E-Mail: nico@zedat.fu-berlin.de