nLab
Benno van den Berg
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
website
category:
people
Revised on April 12, 2013 09:28:07 by
Anonymous Coward
(92.231.211.239)
Edit
|
Back in time
(1 revision)
|
See changes
|
History
| Views:
Print
|
TeX
|
Source
| Linked from:
pretopos
,
predicative mathematics
,
Batanin omega-category
,
Richard Garner
,
axiom of multiple choice
,
W-type
,
WISC
,
internal logic of an (infinity,1)-topos
,
identity type
,
semi-simplicial set
,
Bohr topos
,
homotopy type theory
,
M-type
,
Bishop set
,
predicative topos
,
model structure on semi-simplicial sets