pelli

I Category Theory läser vi följande: En category är en samling av objects (som kan betraktas som punkter i en graf) och morphisms (som kan bektraktas som pilar mellan punkterna). Exempelvis finns det en category vars objects är (alla) mängder, och vars morphisms är funktioner mellan mängderna. En epimorphism är en typ av morphism som i exemplet motsvarar surjektiva funktioner. Epimorphisms kallas också EPIC morphisms.

Något annat som är EPIC är följande: http://xkcd.com/657/ (klicka på bilden för förstoring)