このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。
Follow @m_hiyama

ご連絡は上記 X アカウントに DM にてお願いします。

[参照用 記事]

2023-08-18から1日間の記事一覧

だいたい圏になる: 概圏

「スパンの圏って定義できるの?」において、素朴に「スパンを射とみなす」だけでは圏にならないことを注意しました。しかし、“圏もどき”にはなっています。スパンの圏以外でも、「けっこう圏に近い圏もどき」が出てきます。このとき、何の断りもなく圏扱い…