Development of -category theory internal to any (∞,1)-topos:
internal (∞,1)-Yoneda lemma:
internal (infinity,1)-limits and (infinity,1)-colimits:
internal cocartesian fibrations and straightening functor:
internal presentable (∞,1)-categories:
Created on November 15, 2022 at 09:37:55. See the history of this page for a list of all contributions to it.