Verschil
functions en
functor.
Binnen de
Category zijn de relaties
functions omdat de Category van het type
small Category is en dus werkt zoals
Sets
Tussen de Categories is er een pijl die de functor is en die draagt de structuur van de een category over op de andere.De structuren tussen de wetsartikels blijven op deze wijze behouden. zie hieronder