Introduction
Introduction Statistics Contact Development Disclaimer Help
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…
You are viewing proxied material from pleroma.anduin.net. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.