圏論は基礎論の一分野なの?
それとも代数学の一分野なの??