511 followers
"Generalising canonical extension to the categorical setting" で指摘されているCHypとCohの間のpseudoadjunctionを使うともうちょい整理できそうだけど、指摘している文献ないかな
"Generalising canonical extension to the categorical setting" で指摘されているCHypとCohの間のpseudoadjunctionを使うともうちょい整理できそうだけど、指摘している文献ないかな
ありそうな操作をKellyが作ってくれていて、ありがとうの気持ち A note on relations relative to a factorization system https://t.co/Laq4qlDUX2
RT @tri_iro: Hyland のドミナンスの Axiom 6 よりちょっと強い性質が必要なんだけど、 synthetic には書くの難しそう https://t.co/CcjxWhDeQb computable topologyではめちゃくちゃありがちな議論が syn…
Hyland のドミナンスの Axiom 6 よりちょっと強い性質が必要なんだけど、 synthetic には書くの難しそう https://t.co/CcjxWhDeQb computable topologyではめちゃくちゃありがちな議論が synthetic topology では示せない説が出てきた