282 followers
https://t.co/KrifSmGTxX この論文にありそうだったけど、ニワカじゃ読めなそうでもあった。 項書き換え系が、カルテシアン2-圏と見做せるけど、そこでのある2-圏自然変換(discharger)がGCと見做せる、という話…っぽい。
https://t.co/KrifSmGTxX この論文にありそうだったけど、ニワカじゃ読めなそうでもあった。 項書き換え系が、カルテシアン2-圏と見做せるけど、そこでのある2-圏自然変換(discharger)がGCと見做せる、という話…っぽい。