2016-01-29から1日間の記事一覧
tensoratorって、モノイド圏における交替律の制限された形を与える同型射(自然同型)のことなんだね。http://arxiv.org/pdf/q-alg/9703033.pdf の3ページの後半にある式を見ながらGlobularでtensoratorの絵を描いてみた。一番下のサムネイルを見れば、何を…
何かしらbasicでabstractなクラスBasicAbstracがあったとして、これの派生クラスDerivedConcreteもあるとする。p がBasicAbstractなインスタンスへのポインタ(参照でも)とする。一般的抽象的なレベルでは、BasicAbstractなpで作業すれば十分、という状況。…