Skip to main content
Mathematics
Trebor's user avatar
Trebor's user avatar
Trebor's user avatar
Trebor
  • Member for 5 years, 11 months
  • Last seen this week
Profile Activity
Stats
4,867
reputation
175k
reached
164
answers
24
questions
Communities
View all
About

I'm an undergraduate student interested in maths and type theory.

Badges
View all badges
2
gold badges
10
silver badges
31
bronze badges
Top tags
View all tags
46
Score
19
Posts
10
Posts %
27
Score
10
Posts
5
Posts %
18
Score
11
Posts
6
Posts %
18
Score
9
Posts
5
Posts %
17
Score
11
Posts
6
Posts %
14
Score
11
Posts
6
Posts %
Top posts
View all questions and answers
33
Is there an elementary expression for every real sequence?
Jun 17, 2020
15
How many points are needed to uniquely define an ellipse?
Jan 6, 2019
11
Depiction of convergence in categorical sense
Dec 1, 2023
7
Why is $d(xdx) = 0$?
Jun 24, 2023
7
Convert infinite 2D plane integer coords to 1D number
Nov 18, 2018
7
Classifying maps of finitely generated abelian groups up to automorphism
Jun 30
7
Nontrivial advantages of thinking of groups as groupoids with one object?
May 22
7
Why are there so many concepts beginning with "mod-"?
Jul 9, 2021
6
How can we quickly verify naturality?
Mar 18, 2023
6
On a peculiar operation on polynomials
Jan 16, 2023
Top network posts
View all network posts
27
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
22
Help me prove the Four Color Theorem!
18
What difficulties are there in basing a proof assistant on the $\lambda\mu$-calculus and has any proof assistant tried?
14
Missing $ inserted. Ha\"{i}
14
Church–Turing thesis for higher order functions