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

DOI

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

ISBN

9783642128202

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.

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

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

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