bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 5 years, 9 months |
seen | Jul 28 at 15:33 | |
stats | profile views | 308 |
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 |