2023/3/31

指標において

1-mor x♯: 1 -> X を特別に

1-obj x: X と書く

と約束してしまうのはどうだろうか

2023/4/18

射をどうするか……