Computer Science Educators
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 5 years
  • Last seen more than 1 year ago
  • Berlin, Germany
Profile Activity
Stats
130
reputation
0
reached
1
answer
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
3
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Explaining why arrays are important for statisticians
Nov 11, 2018
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
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.