(一般化しても正しい用語なのか分からないが・・・) 関数: 部分集合の族: について Preservation のとき、 preserves という。 このとき、関数: を作ることが出来る。 Reflection のとき、 reflects という。 Lifting のとき、 lifts という。 Unique lifting …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。