nLab
Kate Ponto
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
category:
people
Created on June 3, 2011 09:19:48 by
Urs Schreiber
(89.204.137.115)
Edit
 Views:
Print

TeX

Source
 Linked from:
model structure on topological spaces
,
trace
,
dualizable object
,
string diagram
,
Euler characteristic
,
Charles Sanders Peirce
,
Thom spectrum
,
nduality
,
bicategorical trace
,
mixed model structure
,
Reidemeister trace
,
indexed monoidal category
,
linear type theory
,
dependent linear type theory
,
fracture theorem
,
A string diagram calculus for predicate logic