>>301
圏論の応用がスレチになるという理屈を解説してくれたまえ