| 1. | Such types are called in the univalent foundations " propositions ".
|
| 2. | An active area of research is the univalent foundations arising from homotopy type theory.
|
| 3. | It has never been a univalent culture.
|
| 4. | In 2009 he constructed the univalent model of Martin-L�f type theory in simplicial sets.
|
| 5. | Univalent foundations originated from the attempts to create foundations of mathematics based on higher category theory.
|
| 6. | An important milestone for the univalent foundations was the Bourbaki Seminar talk by Thierry Coquand in June 2014.
|
| 7. | Univalent models with values in the categories of inverse diagrams of simplicial sets were constructed by Michael Shulman.
|
| 8. | The specific combinations of univalent cation, trivalent cation, and anion depends on the sizes of the ions.
|
| 9. | During the pre-anaphase stage, cleavage furrows are formed in the spermatocyte cells containing four univalent chromosomes.
|
| 10. | Univalent metal centres such as Cu ( I ) and Rh ( I ) rarely form isolable complexes with water.
|
मोबाइल