Mathematics
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 5 years, 2 months
  • Last seen this week
  • Berlin, Germany
Profile Activity
Stats
3,998
reputation
62k
reached
110
answers
54
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. :)

E-Mail: [email protected]

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
29
bronze badges
Top tags
View all tags
98
Score
86
Posts
52
Posts %
39
Score
37
Posts
23
Posts %
21
Score
8
Posts
5
Posts %
13
Score
19
Posts
12
Posts %
9
Score
10
Posts
6
Posts %
8
Score
8
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
How is the “ Axiom of choice is trivial in intuitionistic logic”?
Apr 10
question
13
Reference request: Bundles in Algebraic Geometry
Oct 8, 2022
answer
8
On the functorial point of view in algebraic geometry.
Oct 29, 2022
question
8
Is exercise 2.22 (iii) in Rotman's Homological Algebra book wrong?
Sep 11, 2021
answer
6
Intuition on product definition in category theory
Feb 4, 2022
question
5
What is the universal property of the thickening $Y[\varepsilon]$?
Jan 12
question
5
Sheaf topos is localisation at covering sieve inclusion
May 24
question
5
How many smooth vector space structures does $\mathbb R^n$ have?
Oct 24, 2022
question
5
Existence elimination in Lean 3
Jan 31, 2022
question
5
extension of regular logic
May 28, 2022
Top Meta posts
1
1
5
Mathjax renders really slowly
Top network posts
View all network posts
25
How to use a proof assistant to reason in a topos?
13
Comparing algebraic and analytic spaces through the universal property of classifying topoi
12
Is -ist a gender-neutral ending?
10
2-completeness of stacks
9
Lagrange multiplier in spin liquid mean-field theory (Paper by X.G. Wen)

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.