Insights Why Higher Category Theory in Physics? - Comments

Click For Summary
Higher category theory is gaining attention in physics for its potential to provide new mathematical frameworks for complex physical problems, particularly in gauge theory and quantum field theory. The discussion highlights the importance of n-categories in understanding the equivalence of different integration methods over volumes, which is crucial for consistent physical models. Participants express skepticism about the practical applications of higher category theory, emphasizing that without tangible connections to experimental reality, its relevance may be limited. However, there is recognition of ongoing efforts to apply these mathematical concepts in solid-state physics and other fields, suggesting a growing interest in their utility. The conversation underscores the need for clearer connections between advanced mathematics and physical phenomena to gain acceptance among physicists.
  • #31
[URL='https://www.physicsforums.com/insights/author/urs-schreiber/']Urs Schreiber[/URL] said:
Remarkably, homotopy theory is a "smaller theory": it arises from classical theory by removing axioms from classical logic. This is the fantastic insight of homotopy type theory.

Well, larger versus smaller or simpler versus more complex depends on how you measure things. You can understand classical mathematics as being a simplification of constructive mathematics, in which you toss out distinctions. (such as the distinction between a proof of ##A## and a proof of ##\neg \neg A##)
 

Similar threads

  • Sticky
  • · Replies 6 ·
Replies
6
Views
9K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 44 ·
2
Replies
44
Views
10K
  • · Replies 16 ·
Replies
16
Views
3K
  • Sticky
  • · Replies 6 ·
Replies
6
Views
8K