This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
advanced_tools:category_theory [2017/11/10 11:16] jakobadmin [Student] |
advanced_tools:category_theory [2018/10/11 14:14] jakobadmin [Layman] |
||
---|---|---|---|
Line 45: | Line 45: | ||
This suggests that a truly relational theory of physics should | This suggests that a truly relational theory of physics should | ||
take advantage of category theory. <cite>[[https://groups.google.com/forum/#!msg/sci.physics.research/6cET8VmcUZU/IH9Tpq6NLTsJ|John Baez]]</cite></blockquote> | take advantage of category theory. <cite>[[https://groups.google.com/forum/#!msg/sci.physics.research/6cET8VmcUZU/IH9Tpq6NLTsJ|John Baez]]</cite></blockquote> | ||
+ | |||
+ | <blockquote>Now, given a category C, we may ‘decategorify’ it by forgetting about | ||
+ | the morphisms and pretending that isomorphic objects are equal. We are | ||
+ | left with a set (or class) whose elements are isomorphism classes of objects | ||
+ | of C. This process is dangerous, because it destroys useful information. It | ||
+ | amounts to forgetting which road we took from x to y, and just remembering | ||
+ | that we got there. Sometimes this is actually useful, but most of the time | ||
+ | people do it unconsciously, out of mathematical naivete. We write equations, | ||
+ | when we really should specify isomorphisms. ‘Categorification’ is the attempt | ||
+ | to undo this mistake. Like any attempt to restore lost information, it not | ||
+ | a completely systematic process. Its importance is that it brings to light | ||
+ | previously hidden mathematical structures, and clarifies things that would | ||
+ | otherwise remain mysterious. It seems strange and complicated at first, but | ||
+ | ultimately the goal is to make things simpler.<cite>[[https://arxiv.org/abs/math/0004133|From Finite Sets to Feynman Diagrams]] | ||
+ | by John C. Baez, James Dolan</cite></blockquote> | ||
For further motivation, see: [[http://math.ucr.edu/home/baez/diary/fqxi_narrative.pdf|Categorifying Fundamental Physics]] by John Baez and https://math.stackexchange.com/questions/312605/what-is-category-theory-useful-for | For further motivation, see: [[http://math.ucr.edu/home/baez/diary/fqxi_narrative.pdf|Categorifying Fundamental Physics]] by John Baez and https://math.stackexchange.com/questions/312605/what-is-category-theory-useful-for | ||
Line 56: | Line 71: | ||
<tabbox Layman> | <tabbox Layman> | ||
- | <note tip> | + | * [[http://math.ucr.edu/home/baez/rosetta.pdf|Physics Topology and Computation a Rosetta Stone]] by Baez and Stay |
- | Explanations in this section should contain no formulas, but instead colloquial things like you would hear them during a coffee break or at a cocktail party. | + | |
- | </note> | + | |
| | ||
<tabbox Student> | <tabbox Student> |