 |
Post Al0Ps6lAQtE4HM0Fxw by [email protected] |
 |
More posts by [email protected] |
|
Post #AkxhKtvGM6ZebrA1wG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Hardcore math post:Up to natural isomorphism, are there countably many functors… |
|
|
|
Post #AkxnJSqi7zHA4ujJ4a by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez There has to be a catch there, because just looking at the obje… |
|
|
|
Post #AkyBq3sCPHD54ZVCoy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski - is it true that for each function f:βββ you can find a… |
|
|
|
Post #AkyDpBGvc1NzdemEam by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Hard core math toot? |
|
|
|
Post #AkyECkYUb0XJjDEOJ6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@TonyVladusich - Yikes! I meant to write "post" but I accidentally … |
|
|
|
Post #AkyF9gbKwNxEYAfG2i by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Granted, the empty set is a problem, but other than that, any t… |
|
|
|
Post #AkyH1g7v1LmcfcDJgm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski - I am not worried about the Axiom of Choice. Use it as much … |
|
|
|
Post #AkyM7uqpgjFhqU11gu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Oh, I see. I haven't thought it through. To go from 1 to 2 … |
|
|
|
Post #Akz97I88XylBVbRQ7E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @TonyVladusich The word toot was removed from certain official … |
|
|
|
Post #Akz97IEABZa3oIGEVc by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@soaproot @TonyVladusich - my enthusiasm for "toot" was dampened slig… |
|
|
|
Post #Akz9U0BhQIDcWNw99E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski - I don't get what you're suggesting - you're bein… |
|
|
|
Post #AkzD5w3xVVemax60fI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Sorry. I've been "thinking aloud". I was wonderin… |
|
|
|
Post #AkzJ5H1Ai8I71NrNDM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski - people often define functors on objects and leave the morphi… |
|
|
|
Post #AkzjQ17LcYKGb3Ih5U by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez the first thought I had is that every presheaf can be written a… |
|
|
|
Post #AkzlXWrKCkTOycW2Ai by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@boarders - It's easiest to see [C^op,FinSet] is not the free finite cocomp… |
|
|
|
Post #AkzptUtsZFwX5aRPyC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez ah yeah, very interesting. I should read the discussion, but wi… |
|
|
|
Post #Akzqciyn4HxXmoIvuy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@boarders - we weren't smart enough to manage a diagonal argument. |
|
|
|
Post #AkzuUIgHMT8firstJg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @boarders I can think of a diagonal argument to prove that no f… |
|
|
|
Post #Al0Ps6lAQtE4HM0Fxw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@OscarCunningham @boarders - that's still interesting!(Maybe I was being sl… |
|
|
|
Post #Al0xzrfPpOheEBBPQu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez This is a nice question. I thought I saw an "easy" pr… |
|
|
|
Post #Al1HMizEAMDj5y41Ts by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Still, I wonder if a variation of this argument could be made t… |
|
|
|
Post #Al1HMj4tpGl1NYiYK0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@noamzoam - thanks for thoughts! I see no way to get that idea to work, but I … |
|
|
|
Post #Al4UKDu6doUizegZzU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Very cool question! Here's one way to show there are uncoun… |
