Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Bibliography entry Shulman

author
Shulman, Michael
title
All $(\infty ,1)$-toposes have strict univalent universes.

@article{Shulman,
    AUTHOR = "Shulman, Michael",
    TITLE = "All $(\infty,1)$-toposes have strict univalent universes."
}

This item is referenced in 2 tags:

  • in Subsection 3.3.8: Application: Extending Kan Fibrations
  • in Remark 3.3.8.2