MathOverflow
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 2 years, 4 months
  • Last seen more than a month ago
  • Berlin, Germany
Profile Activity
Stats
755
reputation
0
reached
0
answers
0
questions
Communities
View all
About

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. :)

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
24
How to use a proof assistant to reason in a topos?
17
How is the “ Axiom of choice is trivial in intuitionistic logic”?
13
Reference request: Bundles in Algebraic Geometry
13
Comparing algebraic and analytic spaces through the universal property of classifying topoi
12
Is -ist a gender-neutral ending?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.