2015-10-06 斜め射とヘテロ射 圏一般論 プログラム意味論 リンク 斜め射(oblique morphism)や斜めホムセットはCBPVのレヴィ(Paul Blain Levy)が使っていたと思う。次の論文に斜め射に似たヘテロ射が出ている。 http://arxiv.org/abs/0704.2207