MathOverflow
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 2 years, 11 months
  • Last seen this week
  • Berlin, Germany
Profile Activity
Stats
775
reputation
3k
reached
2
answers
10
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
13
bronze badges
Top tags
View all tags
2
Score
12
Posts
100
Posts %
2
Score
4
Posts
33
Posts %
2
Score
4
Posts
33
Posts %
2
Score
2
Posts
17
Posts %
0
Score
7
Posts
58
Posts %
0
Score
3
Posts
25
Posts %
Top posts
View all questions and answers
question
14
Comparing algebraic and analytic spaces through the universal property of classifying topoi
Feb 9, 2023
question
10
2-completeness of stacks
May 26, 2023
question
7
Beck-Chevalley conditions for the local geometric morphisms $\pi:\mathrm{Zar}/X\to \mathrm{Sh}(X)$
Feb 14, 2023
question
7
The idempotence of Mike Shulman's "Stack semantics"
Mar 13, 2023
question
6
Epimorphisms and quotients in Sch versus $\mathrm{Sh}(\mathrm{Ring}^{\mathrm{op}},\mathrm{Zar})$
Nov 4, 2022
question
6
Do the representations of a 2-functor naturally form a contractible 2-category?
Nov 9, 2022
question
6
Subsheaves of Spec K, K a field
Dec 8, 2022
question
4
"Quasi-coherent" vector spaces in Sch/S
Jan 1, 2023
question
4
Lifting adjunctions along a localisation of 2-categories
Apr 13, 2023
answer
2
Do the representations of a 2-functor naturally form a contractible 2-category?
Jan 18, 2023
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”?
16
Reference request: Bundles in Algebraic Geometry
13
Is -ist a gender-neutral ending?
9
Lagrange multiplier in spin liquid mean-field theory (Paper by X.G. Wen)