Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories (arxiv.org)
7 points by pizza 12 hours ago | 0 comments
917 points by pizza 12 hours ago | 0 comments
91454 points by riffraff a day ago | 303 comments
923 points by austinallegro 4 hours ago | 0 comments
937 points by transpute 15 hours ago | 0 comments
94138 points by obscurette 21 hours ago | 122 comments
9512 points by ingve 5 hours ago | 1 comment
96138 points by feep a day ago | 68 comments
97120 points by omarsar 2 days ago | 31 comments
98114 points by philip1209 2 days ago | 33 comments
9979 points by hasheddan 5 days ago | 8 comments
10061 points by __rito__ 5 days ago | 24 comments
101251 points by CharlesW 2 days ago | 206 comments
102497 points by exiguus 3 days ago | 795 comments
103277 points by cainxinth 2 days ago | 190 comments
104153 points by jason_pomerleau 2 days ago | 91 comments
105148 points by A_D_E_P_T 2 days ago | 102 comments
106113 points by pseudolus 4 days ago | 14 comments
107225 points by Ne02ptzero 3 days ago | 52 comments
108154 points by henning 5 days ago | 26 comments
1098 points by fjfaase 12 hours ago | 0 comments
11022 points by csirkezuza a day ago | 0 comments
111119 points by mcswell 5 days ago | 60 comments
11263 points by chilipepperhott 2 days ago | 19 comments
113139 points by c4pt0r 2 days ago | 32 comments
114569 points by cratermoon a day ago | 450 comments
11533 points by greyblake 4 days ago | 3 comments
11620 points by jxmorris12 3 days ago | 5 comments
11719 points by breve 4 hours ago | 5 comments
118121 points by azath92 2 days ago | 48 comments
11924 points by petethomas 10 hours ago | 4 comments
120