This leads to the notion of an internal groupoid in a category.
Αυτό οδηγεί στην έννοια της εσωτερικής ομάδας σε μια κατηγορία.