コメント／トラックバックってのは、せいぜい最新3日分くらいにしか来ないような感じですが、最近の3本は、5月のエントリーに対してです。「日付を気にせずにどうぞ、蒸し返し歓迎! 」と宣言している僕としてはうれしいです。

諸々の事情から、不調っぽいよー。 …… …それはさておき、圏Cが完備または余完備性を持つとき、その完備／余完備性（特に有限余完備性）を、適当なモナドLによりKleisli圏に持ち上げられないだろうか？ 「モナドLがこれこれの条件を満たせば、LのKleisli圏も…