The tag has no wiki summary.

learn more… | top users | synonyms (2)

1
vote
0answers
34 views

About category theory and physics [duplicate]

Could the ideas of category theory be applied to Physics, maybe simplifying how algebraic topology and sheaf theory and other hard-to-explain subjects are used in physics?
0
votes
0answers
29 views

What are the “name” and “coname” of operators?

So, I've been reading articles about categorical quantum mechanics, and I keep coming across definitions of "name" and "coname" of an operator. Googling these basically only turn up the papers I've ...
5
votes
0answers
76 views

target category of extended field theory

For a topological field theory to be a true “extension” of an Atiyah-Segal theory, the top two levels of its target (ie its $(n-1)^{\text{st}}$ loop space) must look like $\text{Vect}$. What other ...
5
votes
3answers
209 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 ...
14
votes
3answers
465 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
240 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 ...
3
votes
1answer
214 views

Etale bundles and sheaves

Before answering, please see our policy on resource recommendation questions. Please try to give substantial answers that detail the style, content, and prerequisites of the book or paper (or ...
8
votes
1answer
622 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
141 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 ...
1
vote
2answers
211 views

Studying the logical structure of physics as a mathematical object per se? [closed]

I was wondering is there a branch of mathematical physics which studies the underlying logical structure of physics as a mathematical object per se? Let me explain what I mean by that. I'm ...
1
vote
0answers
35 views

Ontic state space from operational structures

Operationalism eschews a notion of system state in favour of the empirical behaviours of preparation and measurement. Abramsky has formalized operational structures as Chu spaces. It would be nice ...
5
votes
2answers
421 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 ...
0
votes
0answers
120 views

Can quantum field theory be seen as an epistemic restriction on (quantum) causal structure

Suppose we take Vicary's quantum harmonic oscilator as a kind of "toy quantum field theory". Next, take the category of internal comonoids to not represent the background causal structure. We ...
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 ...
7
votes
2answers
184 views

Could motives aid in the study of the Navier-Stokes equations?

Recently, mathematicians and theoretical physicists have been studying Quantum Field Theory (and renormalization in particular) by means of abstract geometrical objects called motives. Amongst these ...
2
votes
1answer
97 views

Causality and operationalism: from sets and functions to monads

When working in a laboratory, the most basic behaviour is to turn a knob or dial and then see a transformation of some data output. An example is increasing a magnetic field and seeing Zeeman ...
5
votes
1answer
101 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 ...
11
votes
5answers
2k views

Do Category Theory and/or Quantum Logic add value in physics?

I know they have their adherents, but do more or less esoteric branches of mathematics such as Category Theory and/or Quantum Logic provide powerful tools for new theory development or are they just ...
8
votes
3answers
251 views

What categorical mathematical structure(s) best describe the space of “localized events” in “relational quantum mechanics”?

In a recent (and to me, very enlightening) paper, entitled "Relational EPR", Smerlak and Rovelli present a way of thinking about EPR which relies upon Rovelli's previously published work on relational ...