Development of -category theory internal to any (∞,1)-topos:
internal (infinity,1)-limits and (infinity,1)-colimits:
internal presentable (∞,1)-categories:
and -toposes internal to -toposes:
On proper geometric morphisms between -toposes:
Last revised on February 14, 2024 at 04:23:57. See the history of this page for a list of all contributions to it.