Basic constructions, such as the fundamental group or the fundamental groupoid of a topological space, can be expressed as functors to the category of groupoids in this way, and the concept is pervasive in algebra and its applications.
Οι βασικές κατασκευές, όπως η θεμελιώδης ομάδα ή το θεμελιώδες groupoid ενός τοπολογικού χώρου, μπορούν να εκφραστούν ως θεμελιώδη functors στην κατηγορία groupoids κατά αυτόν τον τρόπο, και η έννοια είναι κυρίαρχη στην άλγεβρα και στις απαιτήσεις της.