これらの関手はによって再定式化され、(傾関手を導入した)によって一般化された。