Find link

language:

Find link is a tool written by Edward Betts.

searching for Univalent foundations 19 found (29 total)

André Joyal (686 words) [view diff] case mismatch in snippet view article find links to article

Study in 2013, where he was invited to join the Special Year on Univalent Foundations of Mathematics. He discovered Kripke–Joyal semantics, the theory

Blakers–Massey theorem (564 words) [view diff] exact match in snippet view article find links to article

Homotopy Theory and Univalent Foundations)". 2013. The Univalent Foundations Program (2013). Homotopy type theory: Univalent foundations of mathematics. Institute

Polynomial functor (type theory) (561 words) [view diff] case mismatch in snippet view article

ISBN 9783939897873. S2CID 15020752. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced

Vertical bar (3,029 words) [view diff] case mismatch in snippet view article find links to article

MathWorld. Retrieved 2020-08-24. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (GitHub version) (PDF)

Institute for Advanced Study (4,968 words) [view diff] case mismatch in snippet view article find links to article

format "Univalent Foundations of Mathematics – Events | Institute for Advanced Study". www.ias.edu. October 21, 2010. "Homotopy Type Theory: Univalent Foundations

Inductive type (1,460 words) [view diff] case mismatch in snippet view article find links to article

34. doi:10.1016/j.tcs.2005.06.002. Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced

Function type (557 words) [view diff] case mismatch in snippet view article find links to article

function type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See

Product type (467 words) [view diff] case mismatch in snippet view article find links to article

product type at the nLab Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study. See

Empty type (260 words) [view diff] case mismatch in snippet view article find links to article

denoted ⊥ {\displaystyle \bot } . Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced

Equivalent definitions of mathematical structures (3,272 words) [view diff] exact match in snippet view article find links to article

2013, page 13 Pudlák 2013, page 22 The Univalent Foundations Program 2013, Subsection "Univalent foundations" of Introduction Pudlák 2013, page 34 Pudlák

Steve Awodey (309 words) [view diff] case mismatch in snippet view article find links to article

Awodey". YouTube. Institute for Advanced Study. August 12, 2016. "Univalent Foundations Seminar - Steve Awodey". YouTube. Institute for Advanced Study.

Thomas Streicher (239 words) [view diff] case mismatch in snippet view article find links to article

foundation for mathematics in Vladimir Voevodsky's research program Univalent Foundations of Mathematics. Together with Martin Hofmann he received the 2014

Identity type (402 words) [view diff] case mismatch in snippet view article find links to article

doi:10.1109/LICS.1994.316071. ISBN 0-8186-6310-3. S2CID 19496198. Univalent Foundations Program (12 March 2013). Homotopy Type Theory. Institute for Advanced

Type theory (7,867 words) [view diff] case mismatch in snippet view article find links to article

1007/BF00484985. ISSN 1573-0964. The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Homotopy Type Theory

Homotopy groups of spheres (7,952 words) [view diff] exact match in snippet view article find links to article

a2, S2CID 119303902. Homotopy type theory—univalent foundations of mathematics, The Univalent Foundations Program and Institute for Advanced Study, 2013

Curry–Howard correspondence (6,197 words) [view diff] case mismatch in snippet view article find links to article

[permanent dead link] Homotopy Type Theory: Univalent Foundations of Mathematics. (2013) The Univalent Foundations Program. Institute for Advanced Study. Curry

Mikhail Kapranov (767 words) [view diff] case mismatch in snippet view article find links to article

arXiv:math/9810059. Voevodsky, Vladimier (2014). "The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification to Avoid

Surreal number (11,406 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-7456-3878-3 (hardcover). The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ: Institute

Function (mathematics) (11,220 words) [view diff] case mismatch in snippet view article

Sarikaya, Deniz (eds.). Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Synthese Library. Vol. 407. Cham: