圏論

• 圏上の前層に関する備忘録