fundamental-group

• Base-free interpretation of the fundamental group via groupoids