Post AYqlYP6KllicuXS8sS by [email protected] | |
More posts by [email protected] | |
Post #AYotjksuWuvqyRB6hc by [email protected] | |
0 likes, 0 repeats | |
@TaliaRinger @tao - bouncing back and forth between different equivalent ways o… | |
Post #AYp6t1OpnQ16CirK0O by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @tao Yeah I know category theorists love this stuff, but I also… | |
Post #AYpCoHmC50EnGyuUgS by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @tao Even more of a revelation to me yesterday, though, was tha… | |
Post #AYpCoHrVlEUVXTOjyK by [email protected] | |
0 likes, 0 repeats | |
@TaliaRinger - yes, we mathematicians do a lot of computations using pencil and… | |
Post #AYpDQ86WUMS2HOSr4q by [email protected] | |
0 likes, 0 repeats | |
@TaliaRinger - "Yeah I know category theorists love this stuff, but I also… | |
Post #AYpJAeKzTfplLDEWQq by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez I think the whole point of category theory for PL is to abstrac… | |
Post #AYpfPZ7tKingVvcjuy by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger Dependent types are definitely not about syntax.In… | |
Post #AYplT8DJvzgNviFMeG by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo - by the way, I don't think dependent types are about syntax… | |
Post #AYplbH6Mm1BLoNsRQ8 by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger But you said they put you to sleep.In any case, sy… | |
Post #AYpmGVu2eDeFacmCi8 by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo - yes: I said syntax, dependent types and lenses are things that… | |
Post #AYpp9DWkrwYyQz63hg by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez I am not very interested in syntax either. I am just a user of … | |
Post #AYpscEY6RtgjrbFs6y by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez And looking forward to seeing you here soon. | |
Post #AYpscEcMC55i4nFGk4 by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo - yes, I'm planning out my trip now! I'll stay in Cambr… | |
Post #AYqSq1n0HZz6h66M3U by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger Tho I'd expect slightly *different* computatio… | |
Post #AYqYxUjbf9bCDaSLcu by [email protected] | |
0 likes, 0 repeats | |
@MartinEscardo @johncarlosbaez isn’t there a category theoretic result that s… | |
Post #AYqYxaTALC0s0KoIpk by [email protected] | |
0 likes, 0 repeats | |
@chrisamaphone @MartinEscardo @johncarlosbaez there is a galois connection betw… | |
Post #AYqYxaY82jz0Fj8GZM by [email protected] | |
0 likes, 0 repeats | |
@boarders @chrisamaphone -"isn’t there a category theoretic result that … | |
Post #AYqZVXit3gLJKfM55M by [email protected] | |
0 likes, 0 repeats | |
@chrisamaphone @MartinEscardo @johncarlosbaez There is indeed - it is a rather … | |
Post #AYqZVXnqlEJRa3g2oy by [email protected] | |
0 likes, 0 repeats | |
@JacquesC2 "There is indeed - it is a rather famous result of Lawvere'… | |
Post #AYqlYP6KllicuXS8sS by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger @tao Most of the mathematics history can be summar… | |
Post #AYqyiADAHc9R1ydFs8 by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger "Perhaps there are different kinds of categor… | |
Post #AYswFNXlp7b4OGKvkO by [email protected] | |
0 likes, 0 repeats | |
@mc wrote: "Also people tend to call other people or themselves 'categ… | |
Post #AYtGsdWOLnU8Jzgl8q by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @TaliaRinger Same... to me is the goal who defines you: a categ… | |
Post #AYtKu1I9rFLi9NwicS by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @mc @TaliaRinger The category of 'category theorists' i… | |
Post #AYtiRW2Is0eC0JTHQe by [email protected] | |
0 likes, 0 repeats | |
@BartoszMilewski - there's only a set of them.@mc @TaliaRinger | |
Post #AYtkfsTsPxbJZsLQKe by [email protected] | |
0 likes, 0 repeats | |
@johncarlosbaez @BartoszMilewski @mc @TaliaRinger My intuition is that they for… |