- 542 名前：１３２人目の素数さん mailto:sage [2012/02/05(日) 22:48:13.06 ]
- 低俗な煽り合いはもう終了でいい？
もっと生産的な話がしたくてさっきから待ってるんだけど。
>>513
圏論に対応させる形式体系として型理論の方がよく出てくるのは確かにそおの通り。
だけど、圏論をそのまま一階述語論理にのっける公理系も Lwavere を始め研究されている。
最近でも以下のような論文が出ている。最近つっても10年以上前だけど。
www.cwru.edu/artsci/phil/AxiomatizingCategoryCategories.pdf
