引き戻し (圏論)
引き戻しは積と似ているが,同じではない.射 f, g と対象 Z の存在を「忘れる」ことによって積が得られる.このとき2つの対象 X, Y のみを持ちそれらの間に何の射もない離散圏が残るが,この離散圏は通常の二項積を構成するための添字集合として用いることができる.したがって,引き戻しは付加構造を持った通常の(デカルト)積と考えることができる.Z, f, g を「忘れる」代わりに,それらを「自明化」することも Z を終対象(存在は仮定する)に特殊化すれば可能で(この場合 f と g は一意に決まって,しかも何の情報も与えない),この cospan の引き戻しは X と Y の積と見ることができる.