6,566 reputation
1851
bio website ncatlab.org/nlab/show/…
location
age 94
visits member for 3 years, 7 months
seen May 21 at 16:41

I am a postdoc in mathematics, but have my degree in theoretical physics. My work is about mathematical structures motivated from quantum field theory and string theory. For more see here.


Oct
9
awarded  Yearling
Sep
24
awarded  Autobiographer
Sep
18
awarded  Enlightened
Sep
17
awarded  Nice Answer
Sep
15
awarded  Good Answer
Jul
3
awarded  Announcer
Jun
3
awarded  quantum-field-theory
Jun
2
answered TQFT associates a category to a manifold
May
28
awarded  Necromancer
May
15
awarded  Nice Answer
May
9
answered Gravitational Chern-Simons theory for bosons and fermions
May
7
awarded  Nice Answer
Apr
11
awarded  Good Answer
Apr
7
awarded  Announcer
Apr
7
revised p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)
fixed another trivial typo
Apr
7
answered “tmf$(n)$ is the space of supersymmetric conformal field theories of central charge $-n$”
Apr
7
asked p-Adic String Theory and the String-orientation of Topological Modular Forms (tmf)
Mar
25
comment What are type system examples of local gauge transformation- and field strength-like objects?
To answer your question: yes, in HoTT there are gauge transformations, which are not present in an ordinary topos. For instance in cohesive HoTT there is a type BU(1)_conn of electromagnetic gauge fields. This does not exists in any plain topos (1-topos). For X a manifold, then a function X --> BU(1)_conn is an electromagnetic gauge field on X and a homotopy between two such maps is a gauge transformation between these field configurations. This gauge/homotopy theoretic aspect is not present in an ordinary topos.
Mar
23
answered What are type system examples of local gauge transformation- and field strength-like objects?
Mar
20
awarded  Necromancer