メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。雑記/備忘ここ何日か二重圏の話題が続いてますが、二重圏以外でも次元が高め(つっても、2次元か3次元)の圏をいじったりしています。「二重圏の簡単な例:非負行列の順序構造」では行列を使って二重圏の実例を構成しましたが、今日は行列の概念を少し拡張する話をします。行列の係数(成分)を圏の射とするのです。圏係数の行列の圏は、それ自体としても興味深いですが、いろいろな用途のために特殊化したり一般化したりする足場になります。具体的な計算をしたいときの計算の道具にもなります。ラベル付き集合と呼ぶことにしましょう。ラベリングaも同じ事で、定義からは単に写像に過ぎません。「ラベル付き集合」と呼ぶのは、まー気分の問題です。ラベルの集合Lを強調するときは、L-ラベル付き集合といいます。set)とみなします。圏Cは、可換モノイドによって豊饒化されているとします。B)が可換モノイドの構造を持つとします。モノイド演算は足し算の形で書いて、中立元(単位元)に相当する射はゼロ射と呼ぶことにします。ゼロ射は、ホムセットごとに1つずつあります。あるとき、xを“Iで添字付けられたMの要素族”と考えます。総和は、公理的に定義できるのですが、正確な定義は割愛して「全部足し合わせる」という直感に頼ることにします。任意のI、Mに関して要素族の総和が常に存在するわけではありません。集合の基数κを取ったとき、次のような条件を考えることができます。