157 reputation
10
bio website
location
age
visits member for 5 years
seen 16 hours ago

Oct
28
comment What is the status of (universal) algebra in type theory?
I guess I should go ahead and mark this question as answered. Many thanks to everyone, particularly Peter and Urs.
Oct
28
accepted What is the status of (universal) algebra in type theory?
Oct
26
awarded  Nice Question
Oct
14
comment What is the status of (universal) algebra in type theory?
Thanks! This may be a silly question, but do we need higher categorical structure--Wouldn't monads/operads be enough? Or is the need for higher structure just an occupational hazard of working within HoTT?
Oct
14
asked What is the status of (universal) algebra in type theory?
Apr
16
awarded  Popular Question
Jan
16
awarded  Nice Question
Nov
6
awarded  Nice Answer
Jun
9
comment Examples of common false beliefs in mathematics
It took me a long time to realize that was false as well... Still being an undergrad, I often catch myself trying to use that "theorem".
Apr
29
comment Is there a deep relationship between models and étale cohomology ? If so, why, and is it made precise somewhere ?
This is not at all an answer to your question, but a friend of mine suggested a possible model-theoretic proof of the infinitude of Mersenne primes some time last year. It seemed to reduce the problem to a harder model theory problem (hence the fact that this proof was nver finished.) It seems to be a similar sort of thing: there's a nice model theoretic way of looking at a problem, and a lot of the work has already been done by model theorists somewhere.
Mar
4
comment What are your favorite instructional counterexamples?
I was really glad when my analysis professor first showed this example; I had the same realization that you did.
Mar
4
comment What are your favorite instructional counterexamples?
Thanks, Andrej; These are all really fun... now to pick them apart and internalize them.
Feb
24
comment Value of “of course” in the mathematical literature
I read the "of course" in that sentence to be something to counter what was said previously: "(Some statement about irreducible modules); of course [i.e. however,], every irreducible module is completely reducible.
Feb
20
awarded  Commentator
Feb
20
comment Non-principal ultrafilters on ω
Thanks, indeed, François. That gives a more solid answer to my first question.
Feb
20
comment Non-principal ultrafilters on ω
Eep! Thanks... Not sure how I missed that.
Feb
20
accepted Non-principal ultrafilters on ω
Feb
20
comment Non-principal ultrafilters on ω
Thanks. The article led me in exactly the direction I was looking.
Feb
20
asked Non-principal ultrafilters on ω
Feb
10
answered Cocktail party math