Generalized Chevalley criteria in simplicial homotopy type theory
<|reference_start|>Generalized Chevalley criteria in simplicial homotopy type theory: We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial homotopy type theory which supports the development of synthetic internal $(\infty,1)$-category theory.<|reference_end|>
@article{weinberger2024generalized,
    title={Generalized Chevalley criteria in simplicial homotopy type theory},
    author={Jonathan Weinberger},
    journal={arXiv preprint arXiv:2403.08190},
    year={2024},
    archivePrefix={arXiv},
    eprint={2403.08190},
    primaryClass={math.CT cs.LO math.AT math.LO}
}