「型理論／論理／インスティチューション理論の引っ越し準備」の続きです。タイトルが長いので少し短くしました。「型理論など」は「型理論／論理／インスティチューション理論」のことです。包括圏の変種（ある種の双対）や包括圏に対する付加的構造につい…

Microsoft Edge 付属の Copilot、「なんでお前に親切に教えてあげないといかんのよ？」と思ってしまうが‥‥ 最後にオベッカ使ってとりなそうとすな。