2026-06-09
2026-06-08
←前 次→
2026-06-10
(∞-)ΠW-pretoposだなぁ
ref:
https://discord.com/channels/1509168643647340554/1513170032039821362/1513445252038525029
ΠW-pretopos in nLab
pretopos in nLab
W型
【1610.00037】 The homotopy theory of type theories
#日誌