pith. sign in

arxiv: 2605.20846 · v1 · pith:EVQ63LQVnew · submitted 2026-05-20 · 🧮 math.AT · math-ph· math.GT· math.MP· math.QA

Topological Field Theories and the Algebraic Structures of the Two-Sphere

Chris Li This is my paper

Pith reviewed 2026-05-21 02:07 UTC · model grok-4.3

classification 🧮 math.AT math-phmath.GTmath.MPmath.QA
keywords topological field theoriesbordism categorytwo-sphereFrobenius monoidsprime 3-manifoldslegs relationsinfinity operads
0
0 comments X

The pith

Two presentations of two-sphere bordisms produce equivalent monoids whose prime endomorphisms simplify to multiplications by prime units.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies two distinct presentations for how surfaces bound around the two-sphere inside the oriented three-dimensional bordism category. After transport through topological field theories, these presentations define P-monoids and L-monoids; both are commutative Frobenius monoids, but the first carries endomorphisms and the second carries unit morphisms, each labeled by irreducible prime three-manifolds. The structures satisfy a collection of relations, the most distinctive being the legs relations. When the monoids are specialized to algebras, the legs relations force every prime endomorphism to act simply by multiplication with a prime unit, collapsing the extra data to a remarkably small form. The resulting equivalence supplies a clean algebraic model for the topology of spheres that is proposed to sit inside a larger infinity-operad.

Core claim

Two presentations for bordisms of S^2 in Cob(3) yield equivalent P-monoids and L-monoids after passing through topological field theories, with the prime structures labeled by closed oriented irreducible prime 3-manifolds satisfying countable relations including legs relations. Restricting to algebras, the legs relations force the prime endomorphisms to act by multiplication by prime units, rendering the additional prime structures remarkably simple. An infinity-operad is proposed that encodes these prime structures and contains the little 3-cube operad as a sub-operad.

What carries the argument

P-monoids and L-monoids, commutative Frobenius monoids equipped with endomorphisms or unit morphisms labeled by prime 3-manifolds and constrained by legs relations.

If this is right

  • Prime endomorphisms reduce to multiplication by prime units once legs relations are imposed.
  • P-monoids and L-monoids become interchangeable descriptions of the same algebraic object.
  • An infinity-operad can be built that encodes the prime structures and contains the little 3-cube operad.
  • Relations exist between these P/L-algebras and J-algebras that classify three-dimensional topological field theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The observed simplicity may permit direct computation of prime-labeled invariants on familiar Frobenius algebras.
  • The proposed operad could organize algebraic models for field theories in dimensions above three.
  • Explicit checks on low-genus surfaces or specific prime manifolds would test whether the equivalence holds in concrete examples.

Load-bearing premise

The two presentations for bordisms of S^2 in Cob(3) yield equivalent P-monoids and L-monoids after passing through topological field theories with the prime structures satisfying the stated countable relations including legs relations.

What would settle it

An explicit algebra equipped with a Frobenius structure and legs relations in which the endomorphism labeled by a concrete prime 3-manifold fails to coincide with multiplication by the corresponding prime unit.

Figures

Figures reproduced from arXiv: 2605.20846 by Chris Li.

Figure 1.1
Figure 1.1. Figure 1.1: The commutative Frobenius generators of Cob(2). [PITH_FULL_IMAGE:figures/full_fig_p005_1_1.png] view at source ↗
Figure 1.2
Figure 1.2. Figure 1.2: A list of generating morphisms. From left to right: [PITH_FULL_IMAGE:figures/full_fig_p007_1_2.png] view at source ↗
Figure 1.3
Figure 1.3. Figure 1.3: The “legs relations” for the G2 presentation of Cob(3)S2 . The legs relations are not trivially implied by commutativity because our boundaries are ordered. To see this, consider passing through a TFT Z, then both sides of the legs relations are maps from Z(S 2 ) ⊗ Z(S 2 ) to Z(S 2 ). The left hand side sends the element a ⊗ b to Z(p ××)(a) · b, while the right hand side sends it to a · Z(p ××)(b). We pr… view at source ↗
Figure 1.4
Figure 1.4. Figure 1.4: A path from f0 to f1 using 3 prime relations, then 2 commutative Frobenius relations, then 2 prime relations. Note that each black dot is a Morse data which induces some composition. The prime relations is a pair of Morse data separated by more than 1 singularities, while a commutative Frobenius relation is always given by a single specific kind of singularity. Passing through a TFT, the two presentation… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: A sketch of how G2 generates a generic bordism [M] where M ’s prime factors are P1, . . . , Pm. Note that this picture is “sideways” as we usually associate the “time” direction as going up. In this case, time goes from left to right. where the boundary of the embedded three balls being identified can be thought of as the boundary being glued over, we may rewrite the connect sum as M ∼=  S 3 \ int  nGo… view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: A sketch of how G1 generates a generic bordism [M] where M ’s prime factors are P1, . . . Pm. This particular [M] has 3 incoming S 2 components and 4 outgoing components. This figure depicts the case where all the bounding balls ej are incoming, namely all the prime factors are in the form of P × i : ∅ → S 2 . we learn that P ×∨ = tr ◦ m ◦ (P × ⊗ idS2 ) ◦ λ −1 S2 where λS2 : ∅ ⊔ S 2 → S 2 is the left uni… view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: figure 2.3 [PITH_FULL_IMAGE:figures/full_fig_p019_2_3.png] view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: Redundancy of L ∨′ generators. bordisms together: let [M] : ⊔ aS 2 → ⊔bS 2 and [N] : ⊔ bS 2 → ⊔cS 2 be two bordisms, and let Mc ∼= (⊔ aD3 ) ∪⊔aS2 M ∪⊔bS2 (⊔ bD3 ) be the closed manifold obtained by filling the incoming and outgoing boundaries of M. One can show that the choice of gluing result in a well defined manifold up to diffeomorphism. Define Nb analogously. Then there are prime decompositions of M… view at source ↗
Figure 2.4
Figure 2.4. Figure 2.4: Bijection between G1 and G2 generators. Figure (a) shows that all prime units P × can be recovered by filling in the incoming ball of the prime endomorphism P ××. Figure (b) shows that all prime endomorphisms can be recovered from the prime units by post￾composing with the 3-dimensional pair of pants. Note that there are two possible orderings of the legs. This is known as the “legs relations” for L ⊂ G1… view at source ↗
Figure 3
Figure 3. Figure 3: figure 3.1 provides a familiar geometric intuition. The local form of the birth of [PITH_FULL_IMAGE:figures/full_fig_p026_3.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: The birth and death of a pair of critical points of index (0 [PITH_FULL_IMAGE:figures/full_fig_p027_3_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: figure 3.1 as the second equality, encoding the geometric fact that [PITH_FULL_IMAGE:figures/full_fig_p027_3.png] view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: (a) Associativity of multiplication. (b) Coassociativity of comultiplication. [PITH_FULL_IMAGE:figures/full_fig_p028_3_2.png] view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: Frobenius relation So far we have demonstrated that CF has units, counits, associativity, coassocia￾tivity, and the Frobenius relation. By [Koc03] these are equivalent to the relations which define a Frobenius algebra, namely these bordisms form the Frobenius PROP. We have co/commutativity as well, upgrading to a commutative Frobenius relation. All together we see that CF generators satisfy commutative F… view at source ↗
Figure 3.4
Figure 3.4. Figure 3.4: The local picture of the regular surface [PITH_FULL_IMAGE:figures/full_fig_p030_3_4.png] view at source ↗
Figure 3.5
Figure 3.5. Figure 3.5: Two different decompositions of S 2 × S 1 . Figure (a) is the usual “pants” de￾composition which resembles the pants decomposition of a torus in 2-dimensions. A regular surface f −1 (r), for any r between the index 2 and 1 critical values, is the disjoint union S 2 ⊔ S 2 . In contrast, figure (b) is the (minimal) Heegaard decomposition, where a regular surface f −1 (r), for any r between the index 1 and … view at source ↗
Figure 3.6
Figure 3.6. Figure 3.6: The Kirby graphics for a path at fpants : S 2 × S 1 which fails to remain spherical as it exchanges the index 1 and 2 critical points. After the exchange the Morse function along the path segment now gives the genus 1 Heegaard splitting of S 2 × S 1 . 3.3 Spherical Morse Functions Before we proceed to show that the commutative Frobenius relations are sufficient among CF generators, it is necessary to exa… view at source ↗
Figure 3.7
Figure 3.7. Figure 3.7: An example of a Reeb graph Rf associated to a Morse function f. Here f : S 2 × S 1 → R is the Morse function described in 2.0.8, which is the projection onto the S 1 factor and then taking the height function. By prime decomposition, any closed oriented 3-manifold M splits uniquely as a connected sum of prime summands, and π1(M) = free product of π1(prime summands). In particular, if π1(M) is free of ran… view at source ↗
Figure 3.8
Figure 3.8. Figure 3.8: A local model of the birth of a pair of critical points. [PITH_FULL_IMAGE:figures/full_fig_p039_3_8.png] view at source ↗
Figure 3.9
Figure 3.9. Figure 3.9: The tilting torus. The figure on the left is the standard embedding of the 2-torus. [PITH_FULL_IMAGE:figures/full_fig_p041_3_9.png] view at source ↗
Figure 3.10
Figure 3.10. Figure 3.10: The behavior of Morse data under the isomorphism [PITH_FULL_IMAGE:figures/full_fig_p043_3_10.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Classifications of spherical regular surface in a prime endomorphism. The shaded [PITH_FULL_IMAGE:figures/full_fig_p047_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Classifications of spherical regular surface in a prime unit. The shaded sphere is [PITH_FULL_IMAGE:figures/full_fig_p049_4_2.png] view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: Prime endomorphism commutativity. Geometrically turning the left hand side [PITH_FULL_IMAGE:figures/full_fig_p050_4_3.png] view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: A cartoon for legs and waist relations. All manifolds depicted are diffeomorphic, [PITH_FULL_IMAGE:figures/full_fig_p051_4_4.png] view at source ↗
Figure 4.5
Figure 4.5. Figure 4.5: Legs relations for p ×L ⊂ G1. Proof. Geometrically this is an obvious statement. Consider the gluing p \ int  D3 G D3  ∼=  p \ int(D3 ) [ S2  S 3 \ int(G 3 i=1 D3 )  . Since the sphere boundary of a prime unit is outgoing, one of the sphere boundaries of the S 3 \ int(⊔ 3D3 ) factor must be incoming. Choosing one of the remaining two as 52 [PITH_FULL_IMAGE:figures/full_fig_p052_4_5.png] view at source ↗
Figure 4.6
Figure 4.6. Figure 4.6: Redundancy of L legs relations. 4.3 Sufficiency of External Relations Equipped with prime commutativity, legs and waist relations, co-legs and co-waist relations, we are ready to state a sufficiency theorem among G2 generators. Theorem 4.3.1. Cob(3)S2 has a presentation with G2 generators under commutative Frobenius relations, prime commutativity, legs and waist relations, and co-legs and co-waist relati… view at source ↗
Figure 4.7
Figure 4.7. Figure 4.7: Pulling aside a map out of 1⊗. Proof of Lemma 4.3.3. Starting with the left hand side (f ⊗ (p ⊗ g)) ◦ [PITH_FULL_IMAGE:figures/full_fig_p057_4_7.png] view at source ↗
Figure 4.8
Figure 4.8. Figure 4.8: The only if direction of lemma 4.4.2. Proof. We need to show that p ×× ◦ m = m ◦ (p ×× ⊗ idS2 ) is induced by commutative Frobenius relations. This proof is graphically summarized by figure 4.9 First, by lemma 4.4.2, the following relations hold p ×× = m ◦ (x ⊗ idS2 ) ◦ λ −1 S2 = m ◦ (idS2 ⊗ x) ◦ ρ −1 S2 . where x = p ×× ◦ 1 : ∅ → S 2 . Substitute this for p ×× on the left hand side to get m ◦ (x ⊗ idS2 … view at source ↗
Figure 4.9
Figure 4.9. Figure 4.9: Redundancy of G2 waist relations. Proposition 4.4.7. The prime commutativity relations are implied by legs relations and associativity and commutativity of the commutative Frobenius relations. Proof. We need to show that p ×× ◦ p ××′ = p ××′ ◦ p ×× is a consequence of associativity and commutativity. The idea of the proof is summarized in figure 4.10. First, by lemma 4.4.2, consider the relations p ×× = … view at source ↗
Figure 4.10
Figure 4.10. Figure 4.10: Redundancy of prime commutativity. Note that the final figure is symmetric [PITH_FULL_IMAGE:figures/full_fig_p068_4_10.png] view at source ↗
Figure 4.11
Figure 4.11. Figure 4.11: Redundancy of cowaist relations. 69 [PITH_FULL_IMAGE:figures/full_fig_p069_4_11.png] view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: (a) An example of the star graph G in the spike ball operad. In this particular case, G has | α −1 (j) | +1 = 3 half edges, and Ij = {1, 2} labelled vertices. (b) illustrate the particular bordism [M] ∈ BDiff(M)represented by G and the connect sum configuration f. The two dashed spheres are considered incoming, and the distinguished half edge is the big sphere, considered outgoing. Lastly, we need to def… view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: A simple spike ball example. (a) gives the graph [PITH_FULL_IMAGE:figures/full_fig_p088_5_2.png] view at source ↗
read the original abstract

We give two presentations for bordisms of $S^2$ in the 3-dimensional oriented bordism category $\operatorname{Cob}(3) $, encoding the algebraic structures on $S^2$. After passing through topological field theories, we define two kinds of monoids which we call P-monoids and L-monoids. In addition to both being commutative Frobenius monoids, P-monoids are equipped with a class of endomorphisms while L-monoids are equipped with a class of unit morphisms, all of which are labelled by closed oriented irreducible prime 3-manifolds. They turn out to be equivalent. The new prime structures satisfy some countable relations with the commutative Frobenius structure, the most notable of which we call "legs relations." We then restrict to the setting of algebras and show that the legs relations place strong constraints on the new prime endomorphisms which forces them to act by multiplications by prime units, rendering the additional prime structures remarkably simple. We also propose an $\infty$-operad which encodes these prime structures and contains the $\infty$-little 3-cube operad as a sub-operad.% We briefly discuss the relations between P/L-algebras and J-algebras which classify 3-dimensional TFTs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper gives two presentations for bordisms of S² in the oriented 3-dimensional bordism category Cob(3). Passing through topological field theories, it defines equivalent P-monoids and L-monoids that are commutative Frobenius monoids equipped with additional endomorphisms or unit morphisms labeled by closed oriented irreducible prime 3-manifolds. These prime structures satisfy countable relations with the Frobenius structure, including the legs relations. Restricting to the algebra setting, the legs relations force the prime endomorphisms to act by multiplication by prime units. The paper also proposes an ∞-operad encoding the prime structures that contains the ∞-little 3-cube operad as a sub-operad.

Significance. If the equivalence and simplification results hold, the work supplies a concrete algebraic model for the structures on S² arising from 3-dimensional bordism and TFT data, with the reduction of prime endomorphisms to multiplication by prime units providing a notable simplification. The proposal of an ∞-operad extending the little 3-cubes operad is a potential strength for unifying these structures with existing operadic approaches to TFTs. The constructions are grounded in standard bordism presentations and category theory with no free parameters or ad-hoc axioms introduced.

minor comments (3)
  1. The abstract states that the two presentations yield equivalent P- and L-monoids after passage through TFTs, but the main text should include an explicit comparison or diagram showing how the legs relations are preserved under the equivalence map to make the central claim easier to verify.
  2. The proposed ∞-operad is mentioned only briefly; a dedicated section or subsection should define its operations and verify that the little 3-cube operad embeds as a sub-operad, including any necessary coherence data.
  3. Notation for the prime-labeled endomorphisms and unit morphisms could be introduced with a short table or list of examples early in the paper to aid readability when the legs relations are stated.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and significance assessment of our manuscript on topological field theories and the algebraic structures of the two-sphere. We appreciate the recommendation for minor revision. As no specific major comments were raised in the report, we have no points requiring detailed rebuttal or immediate revision based on major concerns. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs two presentations of bordisms of S^2 in the oriented bordism category Cob(3), passes them through topological field theories to define P-monoids and L-monoids (both commutative Frobenius monoids equipped with prime-labeled structures), proves their equivalence, and then restricts to algebras to derive that the legs relations force prime endomorphisms to act by multiplication by prime units. These steps rest on standard definitions from bordism categories, TFTs, and category theory rather than any reduction of a claimed prediction to a fitted input, self-citation chain, or definitional equivalence. No load-bearing self-citation, ansatz smuggling, or renaming of known results is exhibited in the provided text; the central claims follow directly from the stated relations and external mathematical grounding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on the standard assumption that bordism categories and TFTs encode algebraic structures on S^2, plus the newly introduced monoid definitions and relations; no free parameters or independent evidence for the prime entities are supplied in the abstract.

axioms (1)
  • domain assumption Bordisms of S^2 in the 3-dimensional oriented bordism category Cob(3) encode algebraic structures on S^2 after passing through topological field theories.
    This is the starting point used to define the P-monoids and L-monoids.
invented entities (2)
  • P-monoid no independent evidence
    purpose: Commutative Frobenius monoid equipped with a class of endomorphisms labeled by closed oriented irreducible prime 3-manifolds.
    Newly defined structure in the paper.
  • L-monoid no independent evidence
    purpose: Commutative Frobenius monoid equipped with a class of unit morphisms labeled by closed oriented irreducible prime 3-manifolds.
    Newly defined structure shown equivalent to P-monoid.

pith-pipeline@v0.9.0 · 5754 in / 1518 out tokens · 61207 ms · 2026-05-21T02:07:45.243189+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 2 internal anchors

  1. [1]

    Publications Math

    Topological quantum field theory , author=. Publications Math

    work page

  2. [2]

    Differential geometrical methods in theoretical physics , pages=

    The definition of conformal field theory , author=. Differential geometrical methods in theoretical physics , pages=. 1988 , publisher=

    work page 1988

  3. [3]

    Journal of differential geometry , volume=

    Supersymmetry and Morse theory , author=. Journal of differential geometry , volume=. 1982 , publisher=

    work page 1982

  4. [4]

    Introductory lectures on topological quantum field theory , volume=

    Carqueville, Nils and Runkel, Ingo , year=. Introductory lectures on topological quantum field theory , volume=. doi:10.4064/bc114-1 , journal=

    work page doi:10.4064/bc114-1

  5. [5]

    Bulletin of the American Mathematical Society , author=

    Remarks on Chern-Simons theory , volume=. Bulletin of the American Mathematical Society , author=. 2009 , month=jan, pages=. doi:10.1090/S0273-0979-09-01243-9 , abstractNote=

    work page doi:10.1090/s0273-0979-09-01243-9 2009

  6. [6]

    Proceedings of the International Congress of Mathematicians 2010 (ICM 2010) (In 4 Volumes) Vol

    Topological field theory, higher categories, and their applications , author=. Proceedings of the International Congress of Mathematicians 2010 (ICM 2010) (In 4 Volumes) Vol. I: Plenary Lectures and Ceremonies Vols. II--IV: Invited Lectures , pages=. 2010 , organization=

    work page 2010

  7. [7]

    A geometrical approach to two-dimensional conformal field theory , author=. Ph. D. Thesis , year=

    work page

  8. [8]

    Journal of Knot theory and its ramifications , volume=

    Two-dimensional topological quantum field theories and Frobenius algebras , author=. Journal of Knot theory and its ramifications , volume=. 1996 , publisher=

    work page 1996

  9. [9]

    Quantum Topology , volume=

    Defining and classifying TQFTs via surgery , author=. Quantum Topology , volume=

    work page

  10. [10]

    Communications in number theory and physics , volume=

    Electric-magnetic duality and the geometric Langlands program , author=. Communications in number theory and physics , volume=. 2007 , publisher=

    work page 2007

  11. [11]

    A Celebration of the Mathematical Legacy of Raoul Bott, in: CRM Proc

    Geometric Langlands from six dimensions , author=. A Celebration of the Mathematical Legacy of Raoul Bott, in: CRM Proc. Lecture Notes , volume=

    work page

  12. [12]

    Ben-Zvi, Y

    Relative langlands duality , author=. arXiv preprint arXiv:2409.04677 , year=

    work page arXiv

  13. [13]

    2014 , school=

    Factorization homology as a fully extended topological field theory , author=. 2014 , school=

    work page 2014

  14. [14]

    2016 , howpublished =

    Topological Field Theories: Lecture Notes of the Working Seminar at The Hodge Institute , author =. 2016 , howpublished =

    work page 2016

  15. [15]

    A note on the ( ,n) –category of cobordisms , volume=

    Calaque, Damien and Scheimbauer, Claudia , year=. A note on the ( ,n) –category of cobordisms , volume=. Algebraic amp; Geometric Topology , publisher=. doi:10.2140/agt.2019.19.533 , number=

    work page doi:10.2140/agt.2019.19.533 2019

  16. [16]

    Available at pi

    Diffeomorphism groups of reducible 3-manifolds , author=. Available at pi. math. cornell. edu/hatcher/Papers/DR3M. pdf , year=

    work page

  17. [17]

    2026 , eprint=

    The prime decomposition fibre sequence for moduli spaces of reducible 3-manifolds , author=. 2026 , eprint=

    work page 2026

  18. [18]

    2017 , month = sep, note =

    Lurie, Jacob , title =. 2017 , month = sep, note =

    work page 2017

  19. [19]

    Lurie, Jacob , month = dec, year =. Higher

    work page

  20. [20]

    2013 , school=

    Extended topological field theories and the cobordism hypothesis , author=. 2013 , school=

    work page 2013

  21. [21]

    Categories for the working mathematician , language =

    Mac Lane, Saunders , year =. Categories for the working mathematician , language =

    work page

  22. [22]

    Frobenius

    Kock, Joachim , year =. Frobenius

    work page

  23. [23]

    , year =

    Hirsch, Morris W. , year =. Differential

    work page

  24. [24]

    Current Developments in Mathematics , author =

    On the. Current Developments in Mathematics , author =. 2008 , pages =. doi:10.4310/CDM.2008.v2008.n1.a3 , language =

    work page doi:10.4310/cdm.2008.v2008.n1.a3 2008

  25. [25]

    Journal of Mathematical Physics , author=

    Higher-dimensional algebra and topological quantum field theory , volume=. Journal of Mathematical Physics , author=. 1995 , month=nov, pages=. doi:10.1063/1.531236 , abstractNote=

    work page doi:10.1063/1.531236 1995

  26. [26]

    Publications Mathématiques de l'IHÉS , author =

    La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie , volume =. Publications Mathématiques de l'IHÉS , author =. 1970 , pages =. doi:10.1007/BF02684687 , language =

    work page doi:10.1007/bf02684687 1970

  27. [27]

    , title =

    Freed, Daniel S. , title =. 2012 , month = dec, note =

    work page 2012

  28. [28]

    2026 , eprint=

    The surface category and tropical curves , author=. 2026 , eprint=

    work page 2026

  29. [29]

    Journal of Algebra , author =

    On. Journal of Algebra , author =. 1964 , pages =. doi:10.1016/0021-8693(64)90018-3 , language =

    work page doi:10.1016/0021-8693(64)90018-3 1964

  30. [30]

    Extended 3-dimensional bordism as the theory of modular objects

    Extended 3-dimensional bordism as the theory of modular objects , author=. arXiv preprint arXiv:1411.0945 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    Modular categories as representations of the 3-dimensional bordism 2-category

    Modular categories as representations of the 3-dimensional bordism 2-category , author=. arXiv preprint arXiv:1509.06811 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    arXiv preprint arXiv:1610.02592 , year=

    An introduction to geometric topology , author=. arXiv preprint arXiv:1610.02592 , year=

    work page arXiv

  33. [33]

    Contemporary Mathematics , volume=

    Quasi-categories vs Segal spaces , author=. Contemporary Mathematics , volume=. 2007 , publisher=

    work page 2007

  34. [34]

    Contemporary Mathematics , volume=

    Operads, algebras, and modules , author=. Contemporary Mathematics , volume=. 1997 , publisher=

    work page 1997

  35. [35]

    Formality of the little N-disks operad , ISBN=

    Lambrechts, Pascal and Volić, Ismar , year=. Formality of the little N-disks operad , ISBN=

    work page