 |
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… |
