Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: theory: science

Topic: Constructive TQFT Classification


view this post on Zulip Ben Kaminsky (Sep 24 2026 at 21:33):

Good news, everyone. I've finished outlining a proposed constructive TQFT classification. I held off on bringing this issue up until after ACT 26.

The issue I currently face from a higher-categorical/TFT perspective is reasonable guardrail design.
I’d appreciate pushback on the following:

1) Is the use of BF genuinely the right notion of "dualisable core" in 4D for gauge-like semantics, or is there a better categorical substitute?
2) Is there a standard reference/folklore result that articulates this BF-vs-YM dualizability issue in a way a category theory audience would accept?

GCFT.png
GCFT2.png
GCFT3.png

view this post on Zulip David Michael Roberts (Sep 24 2026 at 22:50):

Your statement in the third picture has a bunch of unexplained neologisms so it's not possible to evaluate it on technical grounds.

view this post on Zulip Ben Kaminsky (Sep 27 2026 at 02:56):

See here.

Section 2.1 --- Geometrically Computable Manifold.
Section 3.3 --- S-decorated Groupoid.
Appendix 4 --- Computational Geometric Bordism.
Section 4.5 for the overall intended workflow.
Section 5.2 for the classification.

Disclaimer: I basically redid the entire paper over the last 6-7 months to align it fully with Prof. Schreiber and Sati's current body of work. That being said, this is not a string theory.

(Yes, I know there are other parts of the paper that deal with...other things. I just want to focus on the classification part. No need to discuss anything else right now.)

view this post on Zulip David Michael Roberts (Sep 27 2026 at 10:06):

Is it possible to write a concise statement here that doesn't somehow smuggle in terms made up in this document? I think I spied the shadow of helices in the above....

view this post on Zulip David Michael Roberts (Sep 27 2026 at 10:07):

Now I click on it and went to Zenodo..... "LambdaLord/Geometric-Computation: Twin Helix Public Draft DOI Timestamp" https://zenodo.org/records/17149853

view this post on Zulip David Michael Roberts (Sep 27 2026 at 10:09):

If the twin helix manifold (T HM ) described here ultimately proves to be of lasting foundational
significance, the author would prefer that it not be given an eponymous name.

view this post on Zulip David Michael Roberts (Sep 27 2026 at 10:12):

I note it's 135 pages long, hence a concise, self-contained statement here instead of the screenshots above is your best chance of getting meaningful feedback. Practicing explaining your ideas is helpful in way that's not immediately obvious, namely to help you organise your own thoughts. And I mean literally type out all the words here, if that's too much then: a) the text is too long or b) you aren't that invested to want to dedicate the effort? or c) Tell us why.