If a directed graph is considered as a category (objects are the vertices, morphisms are the paths, composition of morphisms is the concatenation of paths), then every morphism is an epimorphism.
Εάν μία ευθεία γραφική παράσταση θεωρείται ως μια κατηγορία (τα αντικείμενα είναι οι κορυφές, οι μορφισμοί είναι τα μονοπάτια, σύνθεση μορφισμών είναι η συνένωση των διαδρομών), τότε κάθε μορφισμός είναι ένας επιμορφισμός.