Skip to main content
MathOverflow
Jonas Frey's user avatar
Jonas Frey's user avatar
Jonas Frey's user avatar
Jonas Frey
  • Member for 11 years, 11 months
  • Last seen this week
Profile Activity

Stats

295
reputation
1k
reached
5
answers
0
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
6
silver badges
9
bronze badges

Top tags

View all tags
9
Score
3
Posts
60
Posts %
6
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
6
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %

Top posts

6
What sort of W-types follow from existence of an NNO?
May 30, 2014
6
Proof of ¬(¬1 ⊗ ¬1) in tensorial logic
Aug 27, 2024
3
Reflective functors?
Jun 21, 2023
2
Revisiting the unreasonable effectiveness of mathematics
Jun 11, 2021
1
Shapes for category theory
Nov 4, 2022

Top network posts

View all network posts
63
See unsaved changes in vscode
14
Clarify on Birkhoff's theorem (in universal algebra)
10
how to downgrade apt packages to versions in archive?
8
spacing of slash in mathmode
8
Banach chicken story