RSS

SamEisenstat(Sam Eisenstat)

Karma: 87

Reflec­tive or­a­cles as a solu­tion to the con­verse Law­vere problem

SamEisenstat29 Nov 2018 3:23 UTC
24 points
0 comments7 min readLW link

Iter­a­tion Fixed Point Exercises

22 Nov 2018 0:35 UTC
33 points
12 comments3 min readLW link

Di­ag­o­nal­iza­tion Fixed Point Exercises

18 Nov 2018 0:31 UTC
40 points
23 comments3 min readLW link

Topolog­i­cal Fixed Point Exercises

17 Nov 2018 1:40 UTC
68 points
52 comments3 min readLW link