User:Hillgentleman/universal arrow

A universal arrow from an object c to a functor F is...

Template:參攷書