Mathematics
Sebastian Conybeare's user avatar
Sebastian Conybeare's user avatar
Sebastian Conybeare's user avatar
Sebastian Conybeare
  • Member for 9 years, 8 months
  • Last seen more than 5 years ago
  • Urbana, IL
Profile Activity
Stats
764
reputation
9k
reached
9
answers
8
questions
Communities
View all
About

I'm a computer science undergrad at the University of Illinois. My interests include formal program verification, dependently typed programming, categorical logic, homotopy theory, algebraic geometry, and constructive mathematics.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
7
Score
2
Posts
12
Posts %
7
Score
2
Posts
12
Posts %
5
Score
1
Posts
6
Posts %
1
Score
3
Posts
18
Posts %
0
Score
4
Posts
24
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
11
Unions and the axiom of choice.
Mar 30, 2014
question
10
Can we simultaneously freely adjoin both limits and colimits to a category?
Mar 7, 2016
question
8
Is "PA has no non-standard models" consistent with ZF?
Jul 27, 2014
answer
5
Examples of Same fundamental group but not homeomorphic
Mar 30, 2016
question
3
Are there any purely semantic proofs of the compactness theorem that don't use the full axiom of choice? [duplicate]
Jun 4, 2014
question
3
Lines on a Quintic Threefold
Mar 30, 2016
question
3
Internal frame homomorphisms and sheafification
May 30, 2018
answer
3
Prove that the quadratic forms equal on a non-empty open set are equal
Dec 29, 2015
answer
3
Determining dimension of manifold
Dec 30, 2015
answer
3
Let $R$ be a relation from $A$ to $B$. Prove that there exists a subset $f^*$ of $R$ such that $f^*$ is a function from $A$ into $B$.
Mar 5, 2016
Top network posts
View all network posts
15
A geometric theory of Blueprints? (Algebras over the field with one element)
8
Noetherian Rings in Constructive Mathematics
7
Which Heyting algbras arise out of some elementary topos which satisfies the ultrafilter principle?

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.