Kan拡張

著）においてMac Laneはすべての概念はカン拡張であると述べ、さらにはカン拡張には圏論における基本的な概念がすべて含まれているとまで述べている。 ある部分集合上で定義された関数を全体集合にまで拡張する操作を一般化したものがカン拡張である。カン拡張の定義は、当然のように高度に抽象化されている。