Post #1692975
2026-04-09 20:57 UTC
@olynch Maybe you already had this in mind and it doesn’t work in your situation for some reason but Mitchell Riley considers this context operation in “a type theory with a tiny object”. Of course he is interested in the right adjoint as well, and he only considers the case where P is actually a type.
Replies (1)
-
@olynch@mathstodon.xyz 2026-04-09 20:59
@SamToth Ah, should have guessed that! OK, fortunately now I work in the same office as Mitchell so I'll ask him about it.