view wisdom/functor @ 8885:48135c40bbbd

<Taneb> slwd taneb//s#eight#nine#
author HackBot
date Mon, 01 Aug 2016 20:02:59 +0000
parents 1e323fe0c60e
children 69b3e38974d3
line wrap: on
line source

Functors are just morphisms in the category of small categories.