Preorder category Category について、 *1 が成立するとき、preorder categoryという。 つまり、domainとcodomainが等しいmorphism同士は等しい、というcategory。 Diagram Category について、functor: を、diagram in of shape という。 関数の略記法が「…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。