Mathematics
Andrej Bauer
Profile Activity
Stats
2,614
reputation
52k
reached
44
answers
0
questions
About

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

Communities (15)

Top network posts

This user doesn’t have any gold badges yet.
13
silver badges
21
bronze badges
View all badges

Top tags (64)

Score 81
Posts 8
Posts % 18
Score 76
Posts 13
Score 66
Posts 5
Score 63
Posts 6
Score 26
Posts 2
Score 12
Posts 3
View all tags →

Top posts (44)

All Questions Answers
Votes Newest
33 Should I put number combinations like 1111111 onto my lottery ticket? Aug 14 '13
33 Which is the most powerful language, set theory or category theory? Feb 4 '16
17 categorical interpretation of quantification Aug 14 '13
17 How to prove the pullback lemma May 30 '12
15 Why can almost all ordinary mathematics be formalized by sets? Feb 5 '14
11 Models of set theory Aug 28 '14
10 How to introduce type theory to newcomer? Jan 6 '15
9 Countable axiom of choice: why you can't prove it from just ZF Mar 19 '14
8 Why is $0/0$ not $\Bbb R$? Aug 26 '14
7 What's an example of an infinitesimal? Jan 10 '16
View all questions and answers →

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.