Pith. sign in

REVIEW 19 cited by

Condensations in higher categories

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1905.09566 v3 pith:BS6RS3FR submitted 2019-05-23 math.CT cond-mat.str-elhep-thmath.QA

Condensations in higher categories

classification math.CT cond-mat.str-elhep-thmath.QA
keywords karoubitopologicalenvelopehigherordinaryphasecategoriesclass
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.

discussion (0)

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

Forward citations

Cited by 19 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Pro-Tensor Network

    cond-mat.str-el 2026-05 unverdicted novelty 8.0

    Introduces pro-tensor networks as a categorified graphical framework for many-many-body theories, recovers the Levin-Wen model, characterizes particles as modules over promonads, and relaxes semisimplicity, finiteness...

  2. Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories

    math.AT 2026-03 unverdicted novelty 8.0

    Homotopy posets assemble into an oriented long exact sequence analogue and form layers of a categorical Postnikov tower, with Postnikov-complete (∞,∞)-categories identified as the limit of (∞,n)-categories along trunc...

  3. Non-Invertible Anyon Condensation and Level-Rank Dualities

    hep-th 2023-12 unverdicted novelty 8.0

    New dualities in 3d TQFTs are derived via non-invertible anyon condensation, generalizing level-rank dualities and providing new presentations for parafermion theories, c=1 orbifolds, and SU(2)_N.

  4. Non-Invertible Duality Defects in 3+1 Dimensions

    hep-th 2021-11 unverdicted novelty 8.0

    Constructs non-invertible duality defects for one-form symmetries in 3+1D by partial gauging, derives fusion rules, proves incompatibility with trivial gapped phases, and realizes explicitly in Maxwell theory and latt...

  5. Pro-Tensor Network

    cond-mat.str-el 2026-05 unverdicted novelty 7.0

    Pro-tensor networks form a categorified framework for many-many-body theories that recovers the Levin-Wen model and characterizes particles as modules over promonads without requiring semisimplicity, finiteness or rigidity.

  6. Half-Spacetime Gauging of 2-Group Symmetry in 3d

    hep-th 2026-05 unverdicted novelty 7.0

    Half-spacetime gauging of 2-group symmetries in (2+1)d QFTs produces non-invertible duality defects whose fusion rules are derived explicitly from parent theories with mixed anomalies.

  7. Half-Spacetime Gauging of 2-Group Symmetry in 3d

    hep-th 2026-05 unverdicted novelty 7.0

    Constructs non-invertible duality defects in (2+1)d QFTs from half-spacetime gauging of 2-group symmetries and derives explicit fusion rules with examples in U(1)^3 gauge theories.

  8. Parameterized Families of Toric Code Phase: $em$-duality family and higher-order anyon pumping

    cond-mat.str-el 2026-05 unverdicted novelty 7.0

    Parameterized families of toric code Hamiltonians realize em-duality pumping and higher-order anyon pumping, diagnosed by topological pumping into tensor-network bond spaces and corner modes.

  9. The Classification of Pauli Stabilizer Codes: A Lattice and Continuum Treatise

    math-ph 2026-04 unverdicted novelty 7.0

    Pauli stabilizer codes are classified via algebraic L-theory, yielding a bulk-boundary map to Clifford QCAs and a structural comparison with continuum framed TQFTs.

  10. Generalized Complexity Distances and Non-Invertible Symmetries

    hep-th 2026-04 unverdicted novelty 7.0

    Non-invertible symmetries define quantum gates with generalized complexity distances, and simple objects in symmetry categories turn out to be computationally complex in concrete 4D and 2D QFT examples.

  11. The Line, the Strip and the Duality Defect

    hep-th 2026-02 unverdicted novelty 7.0

    Condensation defects in SymTFT descriptions of XY-plaquette and XYZ-cube models realize non-invertible self-duality symmetries at any coupling, with a continuous SO(2) version in the XY-plaquette.

  12. Higher Gauging and Non-invertible Condensation Defects

    hep-th 2022-04 unverdicted novelty 7.0

    Higher gauging of 1-form symmetries on surfaces in 2+1d QFT yields condensation defects whose fusion rules involve 1+1d TQFTs and realizes every 0-form symmetry in TQFTs.

  13. Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories

    math.QA 2026-06 accept novelty 6.5

    A coherent dual of an object lifts to a coherent dual of a bimodule over Frobenius algebras; zigzag 2-isos need special Frobenius sections, and special Frobenius algebras in 2Vect are rigid.

  14. Wormholes as red herrings: reflection positivity and the reconstruction of unitary quantum field theories

    hep-th 2026-07 unverdicted novelty 6.0

    Unitary QFTs are determined up to unitary isomorphism by closed-manifold partition functions; every reflection-positive partition function comes from a unitary QFT, so spatial wormholes do not break Hilbert-space fact...

  15. Notes on (-2)-form symmetries

    hep-th 2026-06 unverdicted novelty 5.0

    Introduces (-2)-form symmetries that modify the SymTFT action to relate QFTs differing by anomaly data or non-invertible symmetry associators, illustrated in 2D-4D models, fusion categories, club-sandwich RG flows, an...

  16. Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories

    math.QA 2026-06 unverdicted novelty 5.0

    Explicit construction of dual bimodules from Frobenius algebras in monoidal 2-categories, with promotion of coherent duals and proof that special Frobenius algebras in 2Vect are rigid.

  17. What's Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries

    hep-th 2023-08 unverdicted novelty 3.0

    A survey of non-invertible symmetries with constructions in the Ising model and applications to neutral pion decay and other systems.

  18. ICTP Lectures on (Non-)Invertible Generalized Symmetries

    hep-th 2023-05 accept novelty 2.0

    Lecture notes explain non-invertible generalized symmetries in QFTs as topological defects arising from stacking with TQFTs and gauging diagonal symmetries, plus their action on charges and the SymTFT framework.

  19. Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond

    hep-th 2022-05 unverdicted novelty 2.0

    This review summarizes transformative examples of generalized symmetries in QFT and their applications to anomalies and dynamics.