エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-08-21から1日間の記事一覧

半環上のフラクタル代数(4)

環上の代数の射影極限 (Wikipediaによる) を有向半順序集合とします。環 上の代数の族 と準同型の族 が は における恒等写像、 であるとき、対 を環 上の代数と準同型の 上の射影系と呼びます。射影系 の射影極限を と定義します。射影極限 は直積の演算で環…