nLab
Nicola Gambino
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
related
$n$
Lab entries
homotopy limit
monad
category:
people
Revised on November 14, 2012 10:30:51 by
Tim Porter
(95.147.237.94)
Edit

Back in time
(1 revision)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
homotopy limit
,
strict 2limit
,
initial algebra of an endofunctor
,
algebra for an endofunctor
,
Wtype
,
identity type
,
free monad
,
polynomial functor
,
homotopy type theory
,
dependent product type
,
inductive type
,
dependent type theory
,
natural deduction
,
polynomial monad