最終更新日:2024/08/04
(mathematics) A category enriched over the category Sup of suplattices.
正解を見る
quantaloid
編集履歴(0)
(mathematics) A category enriched over the category Sup of suplattices.
quantaloid