圏 上の前層 が前層 の subfunctor であるとは，次がなりたつこと： 任意の対象 に対して 任意の射 に対し， が の制限 圏 の対象 に対し， の subfunctor を 上の sieve という． 上の sieve と射 に対し， 上の sieve を，対象 に対し， による の逆像を対…