RIMS, D2 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft / 作曲

ID: 916557473972023297

linkhttps://mathlog.info/users/883/articles calendar_today07-10-2017 06:55:05