Definition of Biequivalence. Meaning of Biequivalence. Synonyms of Biequivalence

Here you will find one or more explanations in English for the word Biequivalence. Also in the bottom left of the page several parts of wikipedia pages related to the word Biequivalence and, of course, Biequivalence synonyms and on the right images related to the word Biequivalence.

Definition of Biequivalence

No result for Biequivalence. Showing similar results...

Meaning of Biequivalence from wikipedia

- Vertical composition in nLab Fong & Spivak 2018 Leinster 1998, 2.2 Biequivalence Leinster 1998, 2.3 The Coherence Theorem Gurski 2013, 2.2 Coherence...
- ISBN 978-3-540-20854-9. Clairambault, Pierre; Dybjer, Peter (2014). "The biequivalence of locally cartesian closed categories and Martin-Löf type theories"...