導来関手とか考えたやつ、何者だよ？

**１３２人目の素数さん** · 2021/03/31(水) 14:29:12.28

どういう思考してたらこんなのが出てくるわけ？

**１３２人目の素数さん** · 2021/03/31(水) 16:50:54.67

位相空間を複体とかに分割して関数が拡張できるかとか考えてるうちはまだ分かるが、コホモロジーの完全系列とかどこから沸いてきたのか

**１３２人目の素数さん** · 2021/03/31(水) 16:57:14.48

Mayer-Vietoris完全系列とか指数層系列とか、長完全系列を得るというアイデア自体は具体的な例にも現れていると思う

**１３２人目の素数さん** · 2021/03/31(水) 22:48:30.39

たとえば左完全関手だったらとりあえずcokernelとってみるとかそういうことから発展したんだろうと思うけど