Skip to main content
MathOverflow
beroal's user avatar
beroal's user avatar
beroal's user avatar
beroal
  • Member for 15 years, 10 months
  • Last seen more than 1 year ago
Profile Activity

Stats

530
reputation
17k
reached
2
answers
5
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges

Top tags

View all tags
3
Score
6
Posts
86
Posts %
3
Score
2
Posts
29
Posts %
3
Score
1
Posts
14
Posts %
3
Score
1
Posts
14
Posts %
0
Score
3
Posts
43
Posts %
0
Score
1
Posts
14
Posts %

Top posts

20
[solved] sequent calculus as programming language
Jun 26, 2010
12
Motivation of filtered colimits
Jan 27, 2011
4
Is there a category with a subobject classifier but which is not finitely complete?
Feb 19, 2011
3
a “self-dual” adjunction
Jul 14, 2011
3
What is the theory of polynomials?
Aug 27, 2011
1
Do Arbib and Manes describe just concrete categories?
Sep 13, 2011
0
Abstract nonsense attribution
Jan 27, 2011

Top network posts

View all network posts
64
What is a safe programming language?
41
What is a universal property?
19
Reader, Writer monads
13
A modern textbook on affine and projective spaces
12
Why did mathematicians take Russell's paradox seriously?