圏論が研究目的ではない、代数、幾何を構築するための道具