導来函手

数学では、一部の関手から導来 (どうらい、英語: derived) することにより、元の関手と密接に関連した新しい関手を得ることができる。導来という操作は、抽象的ではあるが、数学全体を通して多くの構成を統一する。