Re_menal https://blog.hatena.ne.jp/Re_menal/ 思翠と想華 https://mon0.hatenadiary.com/ 日記 14:17 : が -圏かどうか迷いましたが，普通に なので -圏でしたね 15:32 : 自然同型が各点で同型であるとして特徴づけられることの -圏版を追った。 だけど，問題になっている主張を示すには というクラスに属する射が，特定の "良い" lifting problem に対しては inner fibration に対して LLP をもつ，ということを示せばよい。この "良い" という条件の 1 つには，Joyal extension theorem での「horn の <0,1> 部分が同型」という条件の "pushout product" 版のようなものがあって，この条件は「自然変… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmon0.hatenadiary.com%2Fentry%2F2023%2F02%2F01%2F003418" title="1 月 31 日　∞-自然同型の特徴づけ - 思翠と想華" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2023-02-01 00:34:18 rich https://mon0.hatenadiary.com/entry/2023/02/01/003418 1.0 100%