4
votes
3answers
165 views

TQFT associates a category to a manifold

Any 3d TQFT (topological-quantum-field-theory) associates a number to a closed oriented 3-manifold, a vector space to a Riemann surface, a category to a circle, and a 2-category to a point. This ...
13
votes
3answers
366 views

about the Atiyah-Segal axioms on topological quantum field theory

Trying to go through the page on Topological quantum field theory - The original Atiyah-Segal axioms - "Let $\Lambda$ be a commutative ring with 1, Atiyah originally proposed the axioms of a ...
7
votes
1answer
209 views

Are identity types interpreted physically in an infinity-topos formulation of equations of motion?

In reference to Urs Schreibers paper/book on foundations of field theory Differential cohomology in a cohesive infinity-topos I wonder: are identity types there used "only" for the computations, or ...
7
votes
1answer
519 views

How algebraic geometry and motives appears in physics?

First, I'm not a physicist so I have just a little background in physics. I have been reading some noncommutative geometry books and papers (Connes, Rosenberg, Kontsevich etc) and a lot of high ...
6
votes
0answers
129 views

Quantization as a functor

Can anyone give an mathematical elaboration of the following statement: Quantization is a functor carrying the category of Hilbert space and linear maps to that of Symplectic manifolds satisfying ...
5
votes
2answers
380 views

Does the mathematics of physics require impure set theory?

Suppose for the sake of this question that all mathematics is ultimately reducible to set theory in such a way that the only mathematical objects there really are, are sets. Now, there is a common ...
3
votes
1answer
140 views

The (co)algebra for the (co)monad of a light switch

If we take a light switch to embody an entire category, we could take the light switch to be a set with two elements and the morphisms are all endofunctions. Let's say, for fun, that we define the ...
5
votes
1answer
82 views

Quantum causal structure

We take causal structure to be some relation defined over elements which are understood to be morphisms of some category. An example of such a relation is a domain, another is a directed acyclic ...