nLab
Joachim Kock
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
category:
people
Revised on November 14, 2012 10:17:49 by
Tim Porter
(95.147.237.94)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
topological quantum field theory
,
generalized Gray tensor product
,
Frobenius algebra
,
polynomial functor
,
2d TQFT
,
modular operad
,
Feynman transform
,
Deligne conjecture
,
type of types
,
univalence axiom
,
locally cartesian closed (infinity,1)category
,
Segal condition
,
relation between type theory and category theory
,
Faa di Bruno formula
,
polynomial monad
,
spectrum of a triangulated category