14:17 : が -圏かどうか迷いましたが，普通に なので -圏でしたね 15:32 : 自然同型が各点で同型であるとして特徴づけられることの -圏版を追った。 だけど，問題になっている主張を示すには というクラスに属する射が，特定の "良い" lifting problem に対…