Thus one has the fundamental groupoid instead of the fundamental group, and this construction is functorial.
Έτσι έχει κανείς το βασικό ομαδοειδές αντί της βασικής ομάδας, και αυτή η κατασκευή είναι συναρτήσιμη.