>>829
そもそもスネーク・レンマも知らん素人が
導来関手とか導来圏とか口にしたって
全く無意味かと