nLab
free-forgetful adjunction

Revised on August 3, 2013 14:09:59 by Iulian Udrea (86.23.43.169)