%0 Journal Article %1 journals/corr/abs-2402-03134 %A Arrieta, Igor %A Escardó, Martín Hötzel %A Tosun, Ayberk %D 2024 %J CoRR %K dblp %T The Patch Topology in Univalent Foundations. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-03134 %V abs/2402.03134

@article{journals/corr/abs-2402-03134, added-at = {2024-02-12T00:00:00.000+0100}, author = {Arrieta, Igor and Escardó, Martín Hötzel and Tosun, Ayberk}, biburl = {https://www.bibsonomy.org/bibtex/2105932a3f16e3ecaf00ae6c2b50a6c48/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.03134}, interhash = {9d5b15ceb9945bd731d52be604765a79}, intrahash = {105932a3f16e3ecaf00ae6c2b50a6c48}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:47:20.000+0200}, title = {The Patch Topology in Univalent Foundations.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-03134}, volume = {abs/2402.03134}, year = 2024 }