指標の接頭記号別名

https://image.flaticon.com/icons/png/512/67/67438.png

思いついて試験運用中

圏の多層構造とかの時に便利

基本

.->

.^

.×

函手としてはワンランク上になるけど

メソッドとして持っている、ということで

n-morph方向の結合は数字

.1

.2

明らかな場合は省略されている、と考える

table:予約語（記号）

0 . 話題の中心の圏

1 % . in %

2 & …

3 #

4 ?

5 !

# より上は多分使わない

使う

参考

いやべつにひらがな使ってもいいな