野中です。

先日の圏論勉強会の復習をぼちぼちやってます。P122の 
Exampleのところのたとえ話がやっぱりぴんと来ません。

「縮小写像ではないけれど連続写像なら不動点をもつ、しかも沢山のこ 
ともある」

ということを言っているのだと思いますが、地図の話がよくわかりませ 
ん。どなたかわかりやすく解説を! :-)






--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/