« first day (2314 days earlier)      last day (1074 days later) » 

12:05 AM
7
Q: Nonseparable counterexamples in analysis

Nik WeaverWhen asking for uncountable counterexamples in algebra I noted that in functional analysis there are many examples of things that “go wrong” in the nonseparable setting. But most of the examples I'm thinking of come from $\mathrm C^*$-algebras (equivalent formulations of being type I; anything ha...

 
 
2 hours later…
2:05 AM
6
Q: Meaning of `{}` for return expression

RonaldinhoI found by accident that the following compiles: #include <string> #include <iostream> class A{ int i{}; std::string s{}; public: A(int _i, const std::string& _s) : i(_i), s(_s) { puts("Called A(int, const std::string)"); } }; A foo(int k, const char* cs...

 
 
4 hours later…
6:17 AM
8
Q: Reference request for Linton's theorems on equational theories

Martin BrandenburgThis is a reference request for the following "well-known" theorems in category theory: There is an equivalence of categories between finitary monads on $\mathbf{Set}$ and finitary Lawvere theories (i.e. single-sorted finite product theories). There is an equivalence of categories between monad...

 
 
12 hours later…
6:21 PM
 
 
2 hours later…
8:47 PM
8
Q: Is pure mathematics useful outside of mathematics itself?

user213977From time to time Mathoverflow allows soft questions because they are arguably best answered by active mathematicians and they can benefit other mathematicians/PhD students/math undergraduates. I think this is such a question. I'm a mathematics student planning to enroll in a good math PhD progra...

 

« first day (2314 days earlier)      last day (1074 days later) »