Skip to main content
Physics
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 5 years, 9 months
  • Last seen more than a month ago
  • Berlin, Germany
Profile Activity
Stats
287
reputation
3k
reached
1
answer
4
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.
1
silver badge
9
bronze badges
Top tags
View all tags
4
Score
3
Posts
60
Posts %
4
Score
2
Posts
40
Posts %
4
Score
2
Posts
40
Posts %
4
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
9
Lagrange multiplier in spin liquid mean-field theory (Paper by X.G. Wen)
Mar 29, 2019
5
Why is the projective symmetry group a group?
Dec 30, 2018
4
Time evolution operator in QM
Oct 15, 2018
4
Why is the projective symmetry group a group?
Dec 30, 2018
1
Spin and many particle systems
Nov 18, 2018
Top network posts
View all network posts
25
How to use a proof assistant to reason in a topos?
19
How is the “ Axiom of choice is trivial in intuitionistic logic”?
17
Reference request: Bundles in Algebraic Geometry
14
Comparing algebraic and analytic spaces through the universal property of classifying topoi
13
Is -ist a gender-neutral ending?