Physics, Topology, Logic and Computation

Baez, J. C., & Stay, M. (2011). Physics, Topology, Logic and Computation: A Rosetta Stone. New Structures for Physics.

Type

Book chapter

Intellectual base

Review or monograph

Year

2011

Pages cited

95-172

DOI

10.1007/978-3-642-12821-9_2

ISBN

9783642128202

DOI registrant

Springer Nature

Link

https://doi.org/10.1007/978-3-642-12821-9_2

Cited from

mathematics

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Category
  • Systems biology. Signalling pathways as compositions of transformations, where a molecule's role is given by what produces and consumes it rather than by an intrinsic label. Physics and knowledge representation. Cobordism categories underlying topological quantum field theory; ontologies read as categories with entity types as objects, relations as arrows, and ontology mappings as functors.

    This sourceLecture Notes in Physics 813. Berlin: Springer, 2011. Cobordism categories underlying topological quantum field theory and the cross-domain categorical analogy.

    Supported in partVerified against the work's full text

    Baez and Stay support cobordism categories underlying topological quantum field theory, but not the systems-biology or ontology-as-category examples.

    “Topological quantum field theory uses higher-dimensio nal cobordisms [13].”

    Read by an automated reader; not a human review. How support was checked

Domain-specific

• Cartesian closed category
  • For each A and B an exponential B to the A and evaluation morphism make hom(X times A,B) naturally isomorphic to hom(X,B to the A); size and coherence conventions must be fixed.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:6e900963b6f9 · see in the full table