pith. sign in

arxiv: 2309.07245 · v3 · submitted 2023-09-13 · 🪐 quant-ph · math-ph· math.AT· math.CT· math.MP

Entanglement of Sections: The pushout of entangled and parameterized quantum information

Hisham Sati , Urs Schreiber This is my paper

Pith reviewed 2026-05-24 06:49 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.ATmath.CTmath.MP
keywords pushoutquantum entanglementparameterized quantum informationexternal tensor productflat K-theoryBerry phasestopological phases of mattermonoidal category theory
0
0 comments X

The pith

The pushout of entangled and parameterized quantum information yields the external tensor product on flat K-theory.

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

The paper takes up the open question of unifying quantum entanglement with parameterization of quantum states through their amalgamation along bare quantum information theory. It formalizes this amalgamation as a pushout diagram in monoidal category theory and computes the result. The computation shows that the pushout coincides with the external tensor product on flat vector bundles, or flat K-theory, where the bundles carry monodromy that encodes topological Berry phases. A reader would care because this supplies an explicit categorical structure for combining tensor-product entanglement with bundle-parameterization in the classification of topological phases of matter.

Core claim

The pushout diagram in monoidal category theory, chosen to amalgamate entanglement and parameterization along bare quantum information, computes to the external tensor product on flat K-theory, that is, on vector bundles equipped with flat connections whose monodromy encodes Berry phases.

What carries the argument

The pushout diagram in monoidal category theory that amalgamates the structures of entangled and parameterized quantum information along bare quantum theory.

If this is right

  • The external tensor product becomes the canonical operation for combining entangled quantum information with parameterized bundle structure.
  • Flat K-theory receives a direct description as the result of this amalgamation, relevant to topological phases of matter.
  • Monodromy in the bundles corresponds to the topological Berry phases that appear in the classification.
  • The same construction is already visible in quantum programming contexts but now gains a precise categorical justification.

Where Pith is reading between the lines

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

  • The construction may supply a systematic way to incorporate both entanglement and topology into models of protected quantum computation.
  • Generalizations of the pushout to non-flat bundles or to higher categorical settings could be examined next.
  • Concrete low-dimensional examples of topological phases could be recomputed using the external tensor product to check consistency.
  • The result tightens the link between K-theoretic invariants and operational quantum information structures.

Load-bearing premise

The chosen pushout diagram in monoidal category theory is the correct formalization of the amalgamation of entanglement and parameterization structures.

What would settle it

An explicit counter-calculation showing that the pushout does not equal the external tensor product on flat bundles, or a different diagram that produces a structure more faithful to the intended unification.

read the original abstract

A question raised by Freedman & Hastings (2023) still stands: To produce a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-structure via their amalgamation (a hypothetical pushout) along bare quantum (information) theory -- a question motivated by the role that vector bundles of spaces of quantum states play in the K-theoretic classification of topological phases of matter. Here we produce a possible answer to this question. To that end, first we make precise a form of the relevant pushout diagram in monoidal category theory. With the question thus formalized, we proceed to compute this pushout and prove that it gives what is known as the external tensor product on vector bundles/K-classes, or rather on flat such bundles (flat K-theory), i.e., those equipped with monodromy encoding topological Berry phases. The external tensor product was recently highlighted in the context of topological phases of matter and through our work in quantum programming theory but has not otherwise found due attention in quantum theory yet.

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

1 major / 1 minor

Summary. The paper addresses a question raised by Freedman & Hastings (2023) on unifying quantum entanglement/tensor-structure with parameterized/bundle-structure via amalgamation along bare quantum information theory, motivated by vector bundles in K-theoretic classification of topological phases. It formalizes this as a pushout diagram in monoidal category theory, computes the pushout, and proves that the result is the external tensor product on flat vector bundles (flat K-theory) equipped with monodromy for Berry phases.

Significance. If the chosen pushout diagram is an appropriate formalization, the result would supply a categorical bridge between entanglement structures in quantum information and the external tensor product in K-theory, a construction recently noted in topological phases and quantum programming but under-attended in quantum theory. The explicit computation of the pushout using standard monoidal-category tools constitutes a concrete, verifiable step if the diagram selection is independently justified.

major comments (1)
  1. [Abstract] Abstract: the claim that the computed pushout 'gives what is known as the external tensor product on vector bundles/K-classes, or rather on flat such bundles' rests on the unverified assertion that the specific pushout square formalized in monoidal category theory is the correct amalgamation of entanglement and parameterization structures. No independent criterion (universal property, list of required functors, or matching conditions derived from the Freedman-Hastings motivation) is supplied to show the diagram is forced rather than selected to produce the external-tensor-product outcome.
minor comments (1)
  1. [Abstract] The abstract refers to 'flat K-theory' and 'monodromy encoding topological Berry phases' without a preliminary definition or reference to the precise notion of flatness or the relevant K-theory variant used in the computation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We respond to the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the computed pushout 'gives what is known as the external tensor product on vector bundles/K-classes, or rather on flat such bundles' rests on the unverified assertion that the specific pushout square formalized in monoidal category theory is the correct amalgamation of entanglement and parameterization structures. No independent criterion (universal property, list of required functors, or matching conditions derived from the Freedman-Hastings motivation) is supplied to show the diagram is forced rather than selected to produce the external-tensor-product outcome.

    Authors: We agree that the manuscript selects a specific pushout square as a formalization of the amalgamation question without deriving it from an exhaustive list of universal properties or matching conditions extracted directly from Freedman & Hastings (2023). The diagram is presented as 'a form of the relevant pushout' chosen because it naturally combines the monoidal tensor product (for entanglement) with fibered or bundle structure (for parameterization) while keeping the underlying quantum information fixed; the subsequent computation then shows that this yields the external tensor product on flat K-theory bundles with monodromy. This choice is justified a posteriori by recovering a construction already noted as relevant to topological phases and Berry phases. To strengthen the presentation, we will revise the manuscript by adding an explicit subsection that lists the minimal functorial requirements the amalgamation should satisfy (preservation of monoidal structure, compatibility with base change, and incorporation of flat connections) and explains why the chosen square meets them. revision: yes

Circularity Check

0 steps flagged

No circularity: pushout computation is a standard categorical derivation independent of target

full rationale

The paper formalizes a pushout diagram in monoidal category theory motivated by the Freedman-Hastings amalgamation question, then computes the pushout to prove it yields the external tensor product on flat bundles/K-theory. This is a direct mathematical verification using standard definitions, not a reduction of the result to its own inputs by construction, fitted parameters, or load-bearing self-citations. The external tensor product is treated as a known pre-existing object in K-theory literature, and the derivation establishes the identification rather than presupposing it. No self-definitional loops, ansatz smuggling, or renaming of known results occur in the provided derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields an incomplete ledger; the paper invokes standard monoidal category axioms and the definition of flat bundles but introduces no new free parameters or invented entities visible from the abstract.

axioms (1)
  • standard math Monoidal category axioms and pushout diagrams exist and behave as standard in category theory.
    Invoked when formalizing the pushout diagram in the abstract.

pith-pipeline@v0.9.0 · 5708 in / 1164 out tokens · 17646 ms · 2026-05-24T06:49:34.670210+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.

Forward citations

Cited by 3 Pith papers

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

  1. A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems

    math.AT 2026-04 unverdicted novelty 7.0

    A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.

  2. Quantum and Reality

    quant-ph 2023-11 unverdicted novelty 7.0

    Hermitian forms on Hilbert spaces arise from the monoid structure of complex conjugation in Z/2-equivariant real linear types within LHoTT, requiring only a negative unit term.

  3. Engineering of Anyons on M5-Probes via Flux Quantization

    hep-th 2025-01 unverdicted novelty 6.0

    Flux quantization of the M5-brane tensor field in twisted Cohomotopy yields Pontrjagin homology observables that reproduce abelian Chern-Simons theory and braid actions on defect anyons.

Reference graph

Works this paper leans on

148 extracted references · 148 canonical work pages · cited by 3 Pith papers · 37 internal anchors

  1. [2]

    A Categorical Quantum Logic

    S. Abramsky and R. Duncan, A Categorical Quantum Logic , Mathematical Structures in Computer Science, 16 3 (2006), 469-489, [ doi:10.1017/S0960129506005275 https://doi.org/10.1017/S0960129506005275], [ arXiv:quant-ph/0512114 https://arxiv.org/abs/quant-ph/0512114]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/s0960129506005275 2006

  2. [3]

    Ad \'a mek and J

    J. Ad \'a mek and J. Rosick \'y , Locally presentable and accessible categories , London Mathematical Society Lecture Note Series 189 , Cambridge University Press (1994), [ doi:10.1017/CBO9780511600579 https://doi.org/10.1017/CBO9780511600579]

    work page doi:10.1017/cbo9780511600579 1994

  3. [4]

    D. W. Anderson, Fibrations and geometric realization , Bull. Amer. Math. Soc. 84 5 (1978), 765-788, [ euclid.bams:1183541139 http://projecteuclid.org/euclid.bams/1183541139]

    work page arXiv 1978

  4. [5]

    Arro, FI-Calculus and Representation Stability (2023), [ arXiv:2306.13597 https://arxiv.org/abs/2306.13597]

    K. Arro, FI-Calculus and Representation Stability (2023), [ arXiv:2306.13597 https://arxiv.org/abs/2306.13597]

    work page arXiv 2023

  5. [6]

    Atiyah, K-theory , Harvard Lecture 1964 (notes by D

    M. Atiyah, K-theory , Harvard Lecture 1964 (notes by D. W. Anderson), Benjamin, Amsterdam (1967), [ ncatlab.org/nlab/files/AtiyahKTheory.pdf https://ncatlab.org/nlab/files/AtiyahKTheory.pdf]

    work page 1964

  6. [7]

    J. Baez, Quantum Quandaries: a Category-Theoretic Perspective , in The structural foundations of quantum gravity , Clarendon Press (2006), 240-265, [ ISBN:9780199269693 https://global.oup.com/academic/product/the-structural-foundations-of-quantum-gravity-9780199269693], [ arXiv:quant-ph/0404040 https://arxiv.org/abs/quant-ph/0404040]

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  7. [8]

    Higher-Dimensional Algebra V: 2-Groups

    J. Baez and A. Lauda, HDA V: 2-Groups , Theory Appl. Categories 12 (2004), 423-491, [ tac:12-14 http://www.tac.mta.ca/tac/volumes/12/14/12-14abs.html], [ arXiv:math/0307200 https://arxiv.org/abs/math/0307200]

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  8. [10]

    Barkeshli, P

    M. Barkeshli, P. Bonderson, M. Cheng, and Z. Wang, Symmetry Fractionalization, Defects, and Gauging of Topological Phases , Phys. Rev. B 100 (2019) 115147, [ doi:10.1103/PhysRevB.100.115147 https://doi.org/10.1103/PhysRevB.100.115147], [ arXiv:1410.4540 https://arxiv.org/abs/1410.4540]

    work page doi:10.1103/physrevb.100.115147 2019

  9. [11]

    On (Enriched) Left Bousfield Localization of Model Categories

    C. Barwick, On left and right model categories and left and right Bousfield localizations , Homology, Homotopy Appl. 12 (2010), 245–320, [ doi:10.4310/hha.2010.v12.n2.a9 https://doi.org/10.4310/hha.2010.v12.n2.a9], [ arXiv:0708.2067 https://arxiv.org/abs/0708.2067] and [ arXiv:0708.2832 https://arxiv.org/abs/0708.2832]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/hha.2010.v12.n2.a9 2010

  10. [12]

    H. J. Baues, Homotopy Types in Handbook of Algebraic Topology , I. M. James (ed.), North Holland, Amsterdam (1995), 1-72, [ doi:10.1016/B978-0-444-81779-2.X5000-7 https://doi.org/10.1016/B978-0-444-81779-2.X5000-7]

    work page doi:10.1016/b978-0-444-81779-2.x5000-7 1995

  11. [13]

    Baues, M

    H.-J. Baues, M. Jibladze, and A. Tonks, Cohomology of monoids in monoidal categories , in: Operads: Proceedings of Renaissance Conferences , Contemporary Mathematics 202 , AMS (1997), 137-166, [ doi:10.1090/conm/202 https://doi.org/10.1090/conm/202], [ archive.mpim-bonn.mpg.de/id/eprint/1484/1/preprint\_1995\_121.pdf https://archive.mpim-bonn.mpg.de/id/ep...

    work page doi:10.1090/conm/202 1997

  12. [14]

    Centers and homotopy centers in enriched monoidal categories

    M. Batanin and M. Markl, Centers and homotopy centers in enriched monoidal categories , Adv. Math. 230 (2012), 1811-1858, [ doi:10.1016/j.aim.2012.04.011 https://doi.org/10.1016/j.aim.2012.04.011], [ arXiv:1109.4084 https://arxiv.org/abs/1109.4084]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2012.04.011 2012

  13. [15]

    Sheafifiable homotopy model categories

    T. Beke, Sheafifiable homotopy model categories , Math. Proc. Cambridge Philosophical Soc. 129 (2000), 447-475, [ doi:10.1017/S0305004100004722 https://doi.org/10.1017/S0305004100004722], [ arXiv:math/0102087 https://arxiv.org/abs/math/0102087]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/s0305004100004722 2000

  14. [16]

    B \'e nabou, Fibered Categories and the Foundations of Naive Category Theory , J

    J. B \'e nabou, Fibered Categories and the Foundations of Naive Category Theory , J. Symbolic Logic 50 (1985), 10-37, [ doi:10.2307/2273784 http://dx.doi.org/10.2307/2273784]

    work page doi:10.2307/2273784 1985

  15. [17]

    The Boardman-Vogt resolution of operads in monoidal model categories

    C. Berger and I. Moerdijk, The Boardman-Vogt resolution of operads in monoidal model categories , Topology 45 (2006), 807-849, [ doi:10.1016/j.top.2006.05.001 https://doi.org/10.1016/j.top.2006.05.001], [ arXiv:math/0502155 https://arxiv.org/abs/math/0502155]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.top.2006.05.001 2006

  16. [18]

    A model category structure on the category of simplicial categories

    J. Bergner, A model category structure on the category of simplicial categories , Trans. Amer. Math. Soc. 359 (2007), 2043-2058, [ doi:10.1090/S0002-9947-06-03987-0 https://doi.org/10.1090/S0002-9947-06-03987-0], [ arXiv:math/0406507 https://arxiv.org/abs/math/0406507]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0002-9947-06-03987-0 2007

  17. [19]

    J. Bergner, A survey of ( ,1) -categories , in: Towards Higher Categories , The IMA Volumes in Mathematics and its Applications 152 , Springer, New York (2007), [ doi:10.1007/978-1-4419-1524-5\_2 https://doi.org/10.1007/978-1-4419-1524-5\_2], [ arXiv:math/0610239 https://arxiv.org/abs/math/0610239]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-1-4419-1524-5 2007

  18. [21]

    Bott, Lectures on K(X) , Benjamin, Amsterdam (1969), [ ncatlab.org/nlab/files/Bott-KTheory.pdf https://ncatlab.org/nlab/files/Bott-KTheory.pdf]

    R. Bott, Lectures on K(X) , Benjamin, Amsterdam (1969), [ ncatlab.org/nlab/files/Bott-KTheory.pdf https://ncatlab.org/nlab/files/Bott-KTheory.pdf]

    work page 1969

  19. [22]

    Brown, Abstract Homotopy Theory and Generalized Sheaf Cohomology , Trans

    K. Brown, Abstract Homotopy Theory and Generalized Sheaf Cohomology , Trans. Amer. Math. Soc. 186 (1973), 419-458, [ jstor:1996573 http://www.jstor.org/stable/1996573]

    work page arXiv 1973

  20. [23]

    Cagne and P.-A

    P. Cagne and P.-A. Melli \`e s, On bifibrations of model categories , Adv. Math. 370 (2020) 107205, [ doi:10.1016/j.aim.2020.107205 https://doi.org/10.1016/j.aim.2020.107205], [ arXiv:1709.10484 https://arxiv.org/abs/1709.10484]

    work page doi:10.1016/j.aim.2020.107205 2020

  21. [24]

    Campion, Cofinality for coends , MathOverflow post (2020), [ MO:a/354097 https://mathoverflow.net/a/354097/381]

    T. Campion, Cofinality for coends , MathOverflow post (2020), [ MO:a/354097 https://mathoverflow.net/a/354097/381]

    work page 2020

  22. [25]

    Carboni and E

    A. Carboni and E. Vitale, Regular and exact completions , J. Pure Appl. Algebra 125 (1998), 79-116, [ doi:10.1016/S0022-4049(96)00115-6 https://doi.org/10.1016/S0022-4049(96)00115-6]

    work page doi:10.1016/s0022-4049(96)00115-6 1998

  23. [26]

    Cisinski and F

    D.-C. Cisinski and F. D \'e glise, Triangulated categories of mixed motives , Springer Monographs in Mathematics, Springer, NY (2019), [ doi:10.1007/978-3-030-33242-6 https://doi.org/10.1007/978-3-030-33242-6], [ arXiv:0912.2110 https://arxiv.org/abs/0912.2110]

    work page doi:10.1007/978-3-030-33242-6 2019

  24. [27]

    Coecke and A

    B. Coecke and A. Kissinger, Picturing Quantum Processes -- A First Course in Quantum Theory and Diagrammatic Reasoning , Cambridge University Press (2017), [ ISBN:9781107104228 https://www.cambridge.org/ae/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/picturing-quantum-processes-first-course-quantum-theory-and-diagr...

    work page 2017

  25. [28]

    Categories for the practising physicist

    B. Coecke and E. O. Paquette, Categories for the practicing physicist , In: B. Coecke (ed.), New Structures for Physics , Lecture Notes in Physics 813 , Springer, Berlin (2010), [ arXiv:0905.3010 https://arxiv.org/abs/0905.3010], [ doi:10.1007/978-3-642-12821-9\_3 https://doi.org/10.1007/978-3-642-12821-9_3]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-642-12821-9 2010

  26. [29]

    Deligne, Equations diff \'e rentielles \`a points singuliers r \'e guliers , Lecture Notes Math

    P. Deligne, Equations diff \'e rentielles \`a points singuliers r \'e guliers , Lecture Notes Math. 163 , Springer, Berlin (1970), [ publications.ias.edu/node/355 https://publications.ias.edu/node/355]

    work page 1970

  27. [30]

    Dimca, Sheaves in Topology , Springer, Berlin (2004), [ doi:10.1007/978-3-642-18868-8 https://doi.org/10.1007/978-3-642-18868-8]

    A. Dimca, Sheaves in Topology , Springer, Berlin (2004), [ doi:10.1007/978-3-642-18868-8 https://doi.org/10.1007/978-3-642-18868-8]

    work page doi:10.1007/978-3-642-18868-8 2004

  28. [31]

    Dugger, Combinatorial model categories have presentations , Adv

    D. Dugger, Combinatorial model categories have presentations , Adv. Math. 164 (2001) 177-201, [ doi:10.1006/aima.2001.2015 https://doi.org/10.1006/aima.2001.2015], [ arXiv:math/0007068 https://arxiv.org/abs/math/0007068]

    work page doi:10.1006/aima.2001.2015 2001

  29. [32]

    Rigidification of quasi-categories

    D. Dugger and D. Spivak, Rigidification of quasi-categories , Algebr. Geom. Topol. 11 (2011), 225-261, [ doi:10.2140/agt.2011.11.225 http://dx.doi.org/10.2140/agt.2011.11.225], [ arXiv:0910.0814 https://arxiv.org/abs/0910.0814]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/agt.2011.11.225 2011

  30. [33]

    Connections and Parallel Transport

    F. Dumitrescu, Connections and Parallel Transport , J. Homotopy Related Structures 5 1 (2010), 171–175, [ arXiv:0903.0121 https://arxiv.org/abs/0903.0121]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  31. [34]

    Dwyer and D

    W. Dwyer and D. Kan, Simplicial localizations of categories , J. Pure Appl. Algebra 17 3 (1980), 267-284, [ doi:10.1016/0022-4049(80)90049-3 https://doi.org/10.1016/0022-4049(80)90049-3]

    work page doi:10.1016/0022-4049(80)90049-3 1980

  32. [35]

    Dwyer and D

    W. Dwyer and D. Kan, Homotopy theory and simplicial groupoids , Indagationes Math. (Proceedings) 87 (1984), 379-385, [ doi:10.1016/1385-7258(84)90038-6 https://doi.org/10.1016/1385-7258(84)90038-6]

    work page doi:10.1016/1385-7258(84)90038-6 1984

  33. [36]

    Emmenegger, F

    J. Emmenegger, F. Pasquali, and G. Rosolini, Elementary fibrations of enriched groupoids , Mathematical Structures in Computer Science 31 9 (2021), 958-978, [ doi:10.1017/S096012952100030X https://doi.org/10.1017/S096012952100030X]

    work page doi:10.1017/s096012952100030x 2021

  34. [37]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor Categories , AMS Mathematical Surveys and Monographs 205 (2015), [ ams:surv-205 https://bookstore.ams.org/surv-205]

    work page 2015

  35. [38]

    T-model structures on chain complexes of presheaves

    H. Fausk, T-model structures on chain complexes of presheaves , [ arXiv:math/0612414 https://arxiv.org/abs/math/0612414]

    work page internal anchor Pith review Pith/arXiv arXiv

  36. [39]

    Fausk, P

    H. Fausk, P. Hu and P. May, Isomorphisms between left and right adjoints , Theory Appl. Categories 11 (2003), 107-131, [ tac:11-04 http://www.tac.mta.ca/tac/volumes/11/4/11-04abs.html]

    work page 2003

  37. [40]

    Fiorenza, H

    D. Fiorenza, H. Sati, and U. Schreiber: The Character map in Nonabelian Cohomology: Twisted, Differential and Generalized , World Scientific, Singapore (2023), [ doi:10.1142/13422 https://doi.org/10.1142/13422 ], [ arXiv:2009.11909 https://arxiv.org/abs/2009.11909], [ ncatlab.org/schreiber/show/The+Character+Map https://ncatlab.org/schreiber/show/The+Char...

    work page doi:10.1142/13422 2023

  38. [41]

    M. H. Freedman and M. B. Hastings, Entanglement of Sections, Examples Looking for a Theory , [ arXiv:2304.01072 https://arxiv.org/abs/2304.01072]

    work page arXiv

  39. [42]

    Friedman, An elementary illustrated introduction to simplicial sets , Rocky Mountain J

    G. Friedman, An elementary illustrated introduction to simplicial sets , Rocky Mountain J. Math. 42 (2012), 353-423, [ doi:10.1216/RMJ-2012-42-2-353 https://projecteuclid.org/journals/rocky-mountain-journal-of-mathematics/volume-42/issue-2/Survey-Article-An-elementary-illustrated-introduction-to-simplicial-sets/10.1216/RMJ-2012-42-2-353.full], [ arXiv:080...

    work page doi:10.1216/rmj-2012-42-2-353 2012

  40. [43]

    P. Fu, K. Kishida, and P. Selinger, Linear Dependent Type Theory for Quantum Programming Languages , LICS (2020), 440–453, [ doi:10.1145/3373718.3394765 https://dl.acm.org/doi/10.1145/3373718.3394765], [ arXiv:2004.13472 https://arxiv.org/abs/2004.13472]

    work page doi:10.1145/3373718.3394765 2020

  41. [44]

    Universal eigenvarieties, triangu line Galois representations, and p-adic Lang- lands functoriality

    W. Fulton and J. Harris, Representation Theory: a First Course , Springer, Berlin (1991), [ doi:10.1007/978-1-4612-0979-9 https://link.springer.com/book/10.1007/978-1-4612-0979-9]

    work page doi:10.1007/978-1-4612-0979-9 1991

  42. [45]

    Gabriel and M

    P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory , Springer, Berlin (1967), [ doi:10.1007/978-3-642-85844-4 https://link.springer.com/book/10.1007/978-3-642-85844-4]

    work page doi:10.1007/978-3-642-85844-4 1967

  43. [46]

    Girard, Linear logic , Theor

    J.-Y. Girard, Linear logic , Theor. Computer Science 50 (1987), 1-101, [ doi:10.1016/0304-3975(87)90045-4 https://doi.org/10.1016/0304-3975(87)90045-4]

    work page doi:10.1016/0304-3975(87)90045-4 1987

  44. [47]

    Goerss and J

    P. Goerss and J. F. Jardine, Simplicial homotopy theory , Progress in Mathematics, Birkh \"a user (2009), [ doi:10.1007/978-3-0346-0189-4 https://link.springer.com/book/10.1007/978-3-0346-0189-4]

    work page doi:10.1007/978-3-0346-0189-4 2009

  45. [48]

    Greub, S

    W. Greub, S. Halperin and R. Vanstone, Connections, Curvature, and Cohomology Volume 1: De Rham Cohomology of Manifolds and Vector Bundles , Academic Press (1973), [ ISBN:978-0-12-302701-6 https://www.elsevier.com/books/connections-curvature-and-cohomology-v1/greub/978-0-12-302701-6]

    work page 1973

  46. [49]

    Grothendieck, Technique de descente et th \'e or \`e mes d’existence en g \'e om \'e trie alg \'e brique

    A. Grothendieck, Technique de descente et th \'e or \`e mes d’existence en g \'e om \'e trie alg \'e brique. I. G \'e n \'e ralit \'e s. Descente par morphismes fid \`e lement plats , S \'e minaire N. Bourbaki 190 (1960), 299-327, [ numdam:SB\_1958-1960\_\_5\_\_299\_0 http://www.numdam.org/item/?id=SB\_1958-1960\_\_5\_\_299\_0]

    work page 1960

  47. [50]

    A. Grothendieck, Rev \^e tements \'E tales et Groupe Fondamental -- S \'e minaire de G \'e ometrie Alg \'e brique du Bois Marie 1960/61 , LNM 224 , Springer, Berlin (1971); updated by M. Raynaud in [ arXiv:math/0206203 https://arxiv.org/abs/math/0206203]

    work page internal anchor Pith review Pith/arXiv arXiv 1960

  48. [51]

    Gwilliam and D

    O. Gwilliam and D. Pavlov, Enhancing the filtered derived category , J. Pure Appl. Algebra 222 (2018), 3621-3674, [ doi:10.1016/j.jpaa.2018.01.004 https://doi.org/10.1016/j.jpaa.2018.01.004], [ arXiv:1602.01515 https://arxiv.org/abs/1602.01515]

    work page doi:10.1016/j.jpaa.2018.01.004 2018

  49. [52]

    The Grothendieck construction for model categories

    Y. Harpaz and M. Prasma, The Grothendieck construction for model categories , Adv. Math. 281 (2015), 1306-1363, [ doi:10.1016/j.aim.2015.03.031 https://doi.org/10.1016/j.aim.2015.03.031], [ arXiv:1404.1852 https://arxiv.org/abs/1404.1852]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2015.03.031 2015

  50. [53]

    Hebestreit, S

    F. Hebestreit, S. Sagave, and C. Schlichtkrull, Multiplicative parametrized homotopy theory via symmetric spectra in retractive spaces , Forum Math. Sigma 8 (2020) e16, [ doi:10.1017/fms.2020.11 https://doi.org/10.1017/fms.2020.11], [ arXiv:1904.01824 https://arxiv.org/abs/1904.01824]

    work page doi:10.1017/fms.2020.11 2020

  51. [54]

    Heunen and J

    C. Heunen and J. Vicary, Categories for Quantum Theory , Oxford University Press (2019), [ ISBN:9780198739616 https://global.oup.com/academic/product/categories-for-quantum-theory-9780198739616]

    work page 2019

  52. [55]

    P. J. Higgins, Categories and Groupoids , Mathematical Studies 32 , van Nostrand New York (1971); Reprints in Theory and Applications of Categories 7 (2005), 1-195, [ tac:tr7 http://www.tac.mta.ca/tac/reprints/articles/7/tr7abs.html]

    work page 1971

  53. [56]

    Hirschhorn, Model Categories and Their Localizations , Math

    P. Hirschhorn, Model Categories and Their Localizations , Math. Survey and Monographs 99 , Amer. Math. Soc. (2002), [ ams:surv-99-s https://bookstore.ams.org/surv-99-s]

    work page 2002

  54. [57]

    Hofmann and T

    M. Hofmann and T. Streicher, The groupoid model refutes uniqueness of identity proofs , Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science (1994), [ doi:10.1109/LICS.1994.316071 https://doi.org/10.1109/LICS.1994.316071]

    work page doi:10.1109/lics.1994.316071 1994

  55. [58]

    Hofmann and T

    M. Hofmann and T. Streicher, The groupoid interpretation of type theory , in: Twenty-five years of constructive type theory , Oxford Logic Guides 36 , Clarendon Press (1998), 83-111, [ ISBN:9780198501275 https://global.oup.com/academic/product/twenty-five-years-of-constructive-type-theory-9780198501275], [ ncatlab.org/nlab/files/HofmannStreicherGroupoidIn...

    work page 1998

  56. [59]

    A Homotopy Theory for Stacks

    S. Hollander, A homotopy theory for stacks , Israel J. Math. 163 1 (2008), 93-124, [ doi:10.1007/s11856-008-0006-5 https://doi.org/10.1007/s11856-008-0006-5], [ arXiv:math/0110247 https://arxiv.org/abs/math/0110247]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s11856-008-0006-5 2008

  57. [60]

    Hovey, Model Categories , Math

    M. Hovey, Model Categories , Math. Surv. & Monogr. 63 , Amer. Math. Soc. (1999), [ doi:10.1090/surv/063 https://doi.org/http://dx.doi.org/10.1090/surv/063]

    work page doi:10.1090/surv/063 1999

  58. [61]

    M. Hovey, Model category structures on chain complexes of sheaves (1999), [ K-theory:0366 https://faculty.math.illinois.edu/K-theory/0366], [ ncatlab.org/nlab/files/Hovey-SheavesOfChainComplexesPreprint.pdf https://ncatlab.org/nlab/files/Hovey-SheavesOfChainComplexesPreprint.pdf]

    work page 1999

  59. [62]

    Hovey, Model category structures on chain complexes of sheaves , Trans

    M. Hovey, Model category structures on chain complexes of sheaves , Trans. Amer. Math. Soc. 353 (2001), 2441-2457, [ doi:10.1090/S0002-9947-01-02721-0 https://www.ams.org/journals/tran/2001-353-06/S0002-9947-01-02721-0]

    work page doi:10.1090/s0002-9947-01-02721-0 2001

  60. [63]

    Hovey, J

    M. Hovey, J. Palmieri, and N. Strickland, Axiomatic stable homotopy theory , Memoirs Amer. Math. Soc. 610 (1997), [ ams:memo-128-610 https://bookstore.ams.org/memo-128-610]

    work page 1997

  61. [64]

    Hoyois, The six operations in equivariant motivic homotopy theory , Adv

    M. Hoyois, The six operations in equivariant motivic homotopy theory , Adv. Math. 305 (2017), 197-279, [ doi:10.1016/j.aim.2016.09.031 https://doi.org/10.1016/j.aim.2016.09.031], [ arXiv:1509.02145 https://arxiv.org/abs/1509.02145]

    work page doi:10.1016/j.aim.2016.09.031 2017

  62. [65]

    Hu and W

    H. Hu and W. Tholen, Limits in free coproduct completions , J. Pure Appl. Algebra 105 (1995), 277-291, [ doi:10.1016/0022-4049(94)00153-7 https://doi.org/10.1016/0022-4049(94)00153-7]

    work page doi:10.1016/0022-4049(94)00153-7 1995

  63. [66]

    B. Jacobs, Categorical Logic and Type Theory , Studies in Logic and the Foundations of Mathematics 141 , Elsevier (1998), [ ISBN:978-0-444-50170-7 https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/141]

    work page 1998

  64. [67]

    J. F. Jardine, Local homotopy theory , Springer, New York (2015), [ doi:10.1007/978-1-4939-2300-7 https://doi.org/10.1007/978-1-4939-2300-7]

    work page doi:10.1007/978-1-4939-2300-7 2015

  65. [68]

    Johnstone, Topos Theory , Academic Press (1977), Dover reprint (2014), [ https://archive.org/details/topostheory0000john/page/n5/mode/2up archive:topostheory ]

    P. Johnstone, Topos Theory , Academic Press (1977), Dover reprint (2014), [ https://archive.org/details/topostheory0000john/page/n5/mode/2up archive:topostheory ]

    work page 1977

  66. [69]

    A. Joyal, The Theory of Quasi-Categories and its Applications , lectures at Advanced Course on Simplicial Methods in Higher Categories , CRM (2008) [ ncatlab.org/nlab/files/JoyalTheoryOfQuasiCategories.pdf https://ncatlab.org/nlab/files/JoyalTheoryOfQuasiCategories.pdf]

    work page 2008

  67. [70]

    Joyal and M

    A. Joyal and M. Tierney, Strong stacks and classifying spaces , in: Category Theory , Lecture Notes in Mathematics 1488 , Springer (1991) 213-236 [ doi:10.1007/BFb0084222 https://doi.org/10.1007/BFb0084222]

    work page doi:10.1007/bfb0084222 1991

  68. [71]

    Higher symmetry and gapped phases of gauge theories

    A. Kapustin and R. Thorngren, Higher symmetry and gapped phases of gauge theories , in: Algebra, Geometry, and Physics in the 21st Century , Progress in Mathematics 324 (2017), 177-202, [ arXiv:1309.4721 https://arxiv.org/abs/1309.4721], [ doi:10.1007/978-3-319-59939-7\_5 https://doi.org/10.1007/978-3-319-59939-7_5]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-319-59939-7 2017

  69. [72]

    Karoubi, K-Theory -- An introduction , Grundlehren der math

    M. Karoubi, K-Theory -- An introduction , Grundlehren der math. Wiss. 226 , Springer, Berlin (1978), [ doi:10.1007/978-3-540-79890-3 https://doi.org/10.1007/978-3-540-79890-3]

    work page doi:10.1007/978-3-540-79890-3 1978

  70. [73]

    Kelly, Basic concepts of enriched category theory , London Math

    M. Kelly, Basic concepts of enriched category theory , London Math. Soc. Lec. Note Series 64 , Cambridge Univ. Press (1982), [ ISBN:9780521287029 https://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/basic-concepts-enriched-category-theory?format=PB&isbn=9780521287029]; Reprints in Theory Appl. Categ. 10 (2005), 1-136, [ tac...

    work page 1982

  71. [74]

    Deriving Auslander's formula

    H. Krause, Deriving Auslander’s formula , Documenta Math. 20 (2015), 669-688, [ arXiv:1409.7051 https://arxiv.org/abs/1409.7051], [ https://www.math.uni-bielefeld.de/documenta/vol-20/18.html documenta/vol-20/18 ]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  72. [75]

    Kono and D

    A. Kono and D. Tamaki, Generalized Cohomology , Translations of Mathematical Monographs, American Mathematical Society, Providence, RI (2006), [ ams:mmono-230 https://bookstore.ams.org/mmono-230]

    work page 2006

  73. [76]

    Labella, Categories with sums and right distributive tensor product , J

    A. Labella, Categories with sums and right distributive tensor product , J. Pure Appl. Algebra 178 (2003), 273-296, [ doi:10.1016/S0022-4049(02)00169-X https://doi.org/10.1016/S0022-4049(02)00169-X]

    work page doi:10.1016/s0022-4049(02)00169-x 2003

  74. [77]

    W. Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor , Proceedings of the AMS Symposium on Pure Mathematics XVII (1970), 1-14, [ ncatlab.org/nlab/files/LawvereComprehension.pdf https://ncatlab.org/nlab/files/LawvereComprehension.pdf]

    work page 1970

  75. [78]

    P. B. Levy, Formulating Categorical Concepts using Classes , [ arXiv:1801.08528 https://arxiv.org/abs/1801.08528]

    work page internal anchor Pith review Pith/arXiv arXiv

  76. [79]

    Lewis and M

    E. Lewis and M. Bohnet, The groupoid model of type theory , seminar notes (2017), [ ncatlab.org/nlab/files/LewisBohnet.GroupoidModelOfTT.pdf https://ncatlab.org/nlab/files/LewisBohnet.GroupoidModelOfTT.pdf]

    work page 2017

  77. [80]

    Libgober and S

    A. Libgober and S. Yuzvinsky, Cohomology of local systems , Advanced Studies in Pure Mathematics 27 , Mathematics Society of Japan (2000), 169-184, [ doi:10.2969/aspm/02710169 https://doi.org/10.2969/aspm/02710169]

    work page doi:10.2969/aspm/02710169 2000

  78. [81]

    Lurie, Higher Topos Theory , Annals of Mathematics Studies 170 , Princeton University Press (2009), [ pup:8957 https://press.princeton.edu/titles/8957.html]

    J. Lurie, Higher Topos Theory , Annals of Mathematics Studies 170 , Princeton University Press (2009), [ pup:8957 https://press.princeton.edu/titles/8957.html]

    work page 2009

  79. [82]

    Lurie, Higher Algebra (2017), [www.math.ias.edu/ lurie/papers/HA.pdf]

    J. Lurie, Higher Algebra (2017), [www.math.ias.edu/ lurie/papers/HA.pdf]

    work page 2017

  80. [83]

    External tensor product of categories of perverse sheaves

    V. Lyubashenko, External tensor product of categories of perverse sheaves , Ukr. Math. J. 53 3 (2001), 311-322, [ arXiv:math/9911207 https://arxiv.org/abs/math/9911207]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

Showing first 80 references.