薄い圏の考察。

また続きを書き始めました。論理にまちがいを見つけたら教えていただけるとありがたいです。