merliborn
merliborn
36
10148
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。