English Language & Usage
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 7 months
  • Last seen more than a month ago
  • Berlin, Germany
Profile Activity
Stats
221
reputation
3k
reached
0
answers
1
question
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
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
12
Is -ist a gender-neutral ending?
Apr 12
Top network posts
View all network posts
25
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
10
2-completeness of stacks

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.