胡安·克莱门特·维达尔 Juan Soliveres Tur公司 多分类等式逻辑的句法和语义的双范畴框架。 37-95 2010 45 数学报告。日志。 https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf db/journals/rml/rml45.html#视频T10