nLab
Peter Freyd
Skip the Navigation Links

Home Page

All Pages

Recently Revised

Authors

Feeds

Export

website
Wikipedia
Related
$n$
Lab pages
adjoint functor theorem
AT category
paracategory
category:
people
Revised on December 1, 2012 20:17:54 by
Tim Porter
(95.147.237.68)
Edit

Back in time
(2 revisions)

See changes

History
 Views:
Print

TeX

Source
 Linked from:
Timeline of category theory and related mathematics
,
category theory
,
locally cartesian closed category
,
allegory
,
Heyting category
,
concrete category
,
string diagram
,
abelian category
,
Grothendieck category
,
natural numbers object
,
terminal coalgebra for an endofunctor
,
coalgebra for an endofunctor
,
commutative algebraic theory
,
Brown representability theorem
,
nPOV
,
orthogonal subcategory problem
,
tripos
,
AT category
,
paracategory
,
posite
,
Freyd cover
,
FreydMitchell embedding theorem
,
category of monoids
,
focal point
,
locally bounded category
,
Categories, Allegories
,
coalgebra of the real interval
,
logos
,
locally decidable topos