2018-01-18から1日間の記事一覧
n-圏Cがあるとして、この対象が何であるによって扱いが変わると思う。 |C|∈0-Cat であるとき、Cの深さは0。このとき、対象類=0-モーシングは集合。 |C|∈1-Cat であるとき、Cの深さは1。このとき、対象類=0-モーシングは圏。圏を対象とするn-圏。 |C|∈2-Cat…
"Monoidal Topology, A Categorical Approach to Order, Metric and Topology" 508ページのPDF http://sweet.ua.pt/dirk/artigos/HST14_Monoidal_topology_A_categorical_approach_to_order_metric_and_topology.pdf モノイド概念がトポロジーにも使える、と…
本編で書いた米田モナドだが、 http://d.hatena.ne.jp/m-hiyama/20180110/1515553121 次の論文にほとんど書いてある。 https://arxiv.org/abs/1612.03678 上記本文では、単に前層モナドと言っている。台が前層関手だから。前層モナド=米田モナドは、PSh:Cat…