I'm more familiar with computer science than math. I watched 15-819 and was able to understand most of the content , I think I can digest the HoTT (Homotopy Type Theory) book as well. However , now I want to learn some application of HoTT, i.e. homotopy theory. Is it possible without starting from scratch (set theory) currently?
2026-02-23 18:46:06.1771872366
Is it possible to learn homotopy theory from the perspective of HoTT?
392 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in SOFT-QUESTION
- Reciprocal-totient function, in term of the totient function?
- Ordinals and cardinals in ETCS set axiomatic
- Does approximation usually exclude equality?
- Transition from theory of PDEs to applied analysis and industrial problems and models with PDEs
- Online resources for networking and creating new mathematical collaborations
- Random variables in integrals, how to analyze?
- Could anyone give an **example** that a problem that can be solved by creating a new group?
- How do you prevent being lead astray when you're working on a problem that takes months/years?
- Is it impossible to grasp Multivariable Calculus with poor prerequisite from Single variable calculus?
- A definite integral of a rational function: How can this be transformed from trivial to obvious by a change in viewpoint?
Related Questions in HOMOTOPY-THEORY
- how to prove this homotopic problem
- Are $[0,1]$ and $(0,1)$ homotopy equivalent?
- two maps are not homotopic equivalent
- the quotien space of $ S^1\times S^1$
- Can $X=SO(n)\setminus\{I_n\}$be homeomorphic to or homotopic equivalent to product of spheres?
- Why do $S^1 \wedge - $ and $Maps(S^1,-)$ form a Quillen adjunction?
- Is $S^{n-1}$ a deformation retract of $S^{n}$ \ {$k$ points}?
- Connection between Mayer-Vietoris and higher dimensional Seifert-Van Kampen Theorems
- Why is the number of exotic spheres equivalent to $S^7,S^{11},S^{15},S^{27}$ equal to perfect numbers?
- Are the maps homotopic?
Related Questions in ADVICE
- A simple reverse engineering of calculation.
- Is it impossible to grasp Multivariable Calculus with poor prerequisite from Single variable calculus?
- What are the mathematical topics most essential for an applied mathematician?
- Should one prove all Dedekind-complete ordered fields are isomorphic before using the real numbers in any formal matter?
- How to use the AOPS books?
- Equivalence of quadratic forms and general advice about "Number Theory" (by Borevich-Shafarevich)
- Can a profoundly gifted high school student directly enter a graduate program?
- Can I skip part III in Dummit and Foote?
- Is there active research on topological groups?
- Either, Or, Both.....a question in mathematical writing
Related Questions in LEARNING
- What is the determinant modulo 2?
- Is it good to learn measure theory before topology or the other way around?
- Can the action-value function be "expanded"?
- If you had to self -study a course in higher math that you know, and passing it was a matter of life and death, what advice would you give yourself?
- Beggining in funcional analysis
- Worrying about logic and foundations too much
- Using Visualization for Learning: $a^0=1$
- How do/did you go about learning math?
- Different true/false definition in lambda calculus
- Rules for multiplication serge lange problem
Related Questions in HOMOTOPY-TYPE-THEORY
- What in general is a recursor?
- Homotopy Type Theory contradictions in definitions of propositions?
- Dependent type theory: universes may have a type?
- Define $\neg\neg A$ to be truncation using LEM
- Type former as primitive constants
- Primitive notions for positiv types
- How to Prove Homotopy Equivalence in a Discrete Topology
- In Homotopy Type Theory, where does the lambda expression reside?
- Is HOTT, a new attempt at foundation of mathematics, free from incompleteness theorem or is it still suffering?
- Any path factor through the canonical lift uniquely
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
If you want to learn classical homotopy theory (as it is done with topological spaces and simplicial sets), then knowing some HoTT will probably help your intuition in some ways (though it might also be dangerous in other ways), but I don't think it can help at the formal mathematical level.