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:
strict 2-limit
,
initial algebra of an endofunctor
,
W-type
,
identity type
,
polynomial functor
,
homotopy type theory
,
dependent product type
,
inductive type
,
dependent type theory
,
natural deduction