# Tagged Questions

**1**

vote

**0**answers

83 views

### target category of extended field theory

An A-S TFT is a functor from $\text{Bord}_{<nā1,n>}(\mathcal{F})$ to $\text{Vect}$ where $\mathcal{F}$ denotes a set of background fields, eg a spin structure. An extended theory is a functor ...

**8**

votes

**2**answers

355 views

### Relation between fully-extended TQFT and a “topless” TQFT

Consider 3-dimensional TQFTs for example. One version of them is the
3-2-1-0 fully extended TQFT. Do we have another version: 2-1-0 extended "TQFT"?
If yes, do we have an example of 2-1-0 extended ...

**3**

votes

**0**answers

177 views

### (ā,n)-category of triangulated cobordisms

What is an accepted definition of a (ā,n)-category of triangulated cobordisms?
Is there one that has a forgetful functor to (Rezk - Hopkins -) Lurie's smooth cobordisms? Does it shed light on how ...

**7**

votes

**0**answers

530 views

### TQFTs with target category of higher type than the source

In the classical version of the Cobordism Hypothesis, such as, e.g., in Jacob Lurie's On the Classification of Topological Field Theories, one considers the $\infty$-category of symmetric monoidal ...

**12**

votes

**2**answers

540 views

### Homotopy Fixed Points of SO(2) on Fully Dualizable Algebras

Note: by fixed points, I always mean homotopy fixed points.
As explained in Jacob Lurie's paper on the cobordism hypothesis, we have an action of O(2) on the $\infty $-groupoid $X$ given by ...

**6**

votes

**0**answers

428 views

### Principal $G$-bundles as fully extended TQFTs, and $n$-representations

This is a follow up to this MO question: Fully dualizable objects in classical field theories
Assuming the notation there (which in turn come from Topological Quantum Field Theories from Compact Lie ...

**10**

votes

**2**answers

449 views

### What do decategorification and “compactification on a circle” have to do with each other?

Some physicists have told me that if you think about an extended n-dimensional TQFT $F$, then the decategorification is given by $F'(X)=F(X\times S^1)$, which I believe they call "compactification on ...