topic:指標のmorとobj
2023/3/31
指標
において
1-mor x♯: 1 -> X
を特別に
1-obj x: X
と書く
と約束してしまうのはどうだろうか
2023/4/18
射をどうするか……
2-mor f♯: x♯ => y♯: 1 -> X