不動点方程式

何かを調べるときは、とりあえず nLab を見る。

nLab項目から参照されている文献を見る。

檜山のブログを検索してみる。

ナスター/タルスキーの不動点定理から始めるのがいいだろう。

トレース付き圏と不動点との関係なら:

dcpoにおける不動点定理の短い説明は: