nLab
free-forgetful adjunction
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
adjunction
:
free functor
⊢
forgetful functor
Created on September 18, 2012 11:52:22 by
Urs Schreiber
(82.169.65.155)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
free functor
,
projective object
,
locally presentable categories - introduction