Functor と命題の族 について Preserves のとき、 preserves という。 Reflects のとき、 reflects という。 Respects ついでに、関数 と equivalence relation について、 とき、 respects という。 参考文献 isbn:0486469344
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。