Categories and fundamental inverse semigroups