Stock = MeasStock ： Meas上のジリィモナドのクライスリ圏 SBorelStock = PolStock ： 標準ボレル空間〈ボーランド空間〉上のジリィモナドのクライスリ圏、フリッツはBorelStock CGStock = CGMeasStock： 可算生成可測空間上のジリィモナドのクライスリ圏 F…