A 'thing' in a category. Internal structure is invisible; everything is accessed through morphisms. Dually, an arrow into or out of an object fully characterises it (Yoneda).
A 'thing' in a category. Internal structure is invisible; everything is accessed through morphisms. Dually, an arrow into or out of an object fully characterises it (Yoneda).