David Yetter in nLab

• personal page

• GoogleScholar page

• MathGenealogy page

Selected writings

On quantales and linear logic as a form of quantum logic:

• David Yetter, Quantales and (noncommutative) linear logic, Journal of Symbolic Logic 55 (1990) 41-64 [doi:10.2307/2274953]

On the Crane-Yetter model 4d TQFT:

• Louis Crane, Louis Kauffman, David Yetter, State-Sum invariants of 4-manifolds I, Journal of Knot Theory and Its Ramifications Vol. 06, No. 02, pp. 177-234 (1997) (arXiv:hep-th/9409167, pdf, doi:10.1142/S0218216597000145)

On knot theory via the category of tangles, and on Vassiliev knot invariants:

• David N. Yetter: Functorial Knot Theory – Categories of Tangles, Coherence, Categorical Deformations, and Topological Invariants, Series on Knots and Everything 26, World Scientific (2001) [doi:10.1142/4542]

• topological field theory, Yetter model

• quantum gravity

• quantum logic