nLab
Jaap van Oosten
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
website
category:
people
Created on October 7, 2010 18:32:46 by
Urs Schreiber
(131.211.232.36)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
category theory
,
sheaf and topos theory
,
topos
,
Set
,
regular category
,
adjoint functor theorem
,
complete Boolean algebra
,
regular logic
,
Kripke-Joyal semantics