The effect of opposite and extranatural transformation on a cartesian closed category 2023年3月24日2023年3月22日 by shinobu.yokoyama blog_opダウンロード