圏論・群論 - catch.jp scrapbox