昨日の記事の最後の節「圏論的な普遍構成の代表的な例 // モノイドの台集合」で、モノイドにその台集合を対応させる忘却関手〈余前層〉の余表現対象が自然数の足し算モノイドであることを述べました。それと同様な議論で、代数〈相対環〉にその台集合を対応…