2015-11-16から1日間の記事一覧
calculationの訳語に運算を使う。 運算スキーム 構文圏 セマンティック圏 ツリー 複圏 モノイド圏 クローンツリー 余対角付き複圏 デカルト圏 ヘッジ 多圏 モノイド圏 クローンヘッジ 余対角付き多圏 デカルト圏 行列 半加法多圏 半加法圏 運算スキームは、…
amphi- 両性の 例:amphibia=両生類 ambidextrous 両手が同じように使える【形】 ambi- ambidextrousの略 両手随伴 http://ncatlab.org/nlab/show/ambidextrous+adjunction amphimonoid http://www.pps.univ-paris-diderot.fr/~mellies/tensorial-logic/9-d…