MATH
Login Or Sign up

List Question

10
195
Views

What is the relation between (and status of) the Univalent Foundations and Homotopy Type Theory?

Published on
#foundations #homotopy-type-theory #univalent-foundations
81
Views

Translating developments over different foundations

Published on
#soft-question #axioms #foundations #type-theory #univalent-foundations
118
Views

What is "univalent" about univalent logic and foundations?

Published on
#terminology #univalent-foundations
210
Views

Law of the Excluded Middle for Mere Propositions

Published on
#logic #homotopy-type-theory #univalent-foundations
185
Views

Confusion about quasi-inverses and equivalences in HoTT

Published on
#type-theory #homotopy-type-theory #univalent-foundations
453
Views

Object Classifier implies Univalence in Type Theory?

Published on
#type-theory #homotopy-type-theory #univalent-foundations
214
Views

Isomorphism vs. equivalence of types and homotopy vs. equality of functions

Published on
#type-theory #homotopy-type-theory #univalent-foundations
108
Views

HoTT Book: Proof of Lemma 4.1.1 and exerices 2.17, using univalence

Published on
#homotopy-type-theory #univalent-foundations
146
Views

Proving that W-algebra homomorphisms are contractible

Published on
#type-theory #higher-category-theory #homotopy-type-theory #univalent-foundations
157
Views

What's wrong with this "proof" involving' $n$-connectedness in HoTT?

Published on
#homotopy-type-theory #univalent-foundations

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.