Kerodon

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

Bibliography entry KLV

author
Kapulkin, Chris and Lumsdaine, Peter LeFanu and Voevodsky, Vladimir
title
Univalence in Simplicial Sets

@article{KLV,
    AUTHOR = "Kapulkin, Chris and Lumsdaine, Peter LeFanu and Voevodsky, Vladimir",
    TITLE = "Univalence in Simplicial Sets"
}

This item is referenced in 2 tags:

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