On a connection between fuzzy subgroups and $F$-inverse covers of inverse monoids

Abstract

We define two categories, the category $\mathfrak{FG}$ of fuzzy subgroups, and the category $\mathfrak{FC}$ of $F$-inverse covers of inverse monoids, and prove that $\mathfrak{FG}$ fully embeds into $\mathfrak{FC}$. This shows that, at least from a categorical viewpoint, fuzzy subgroups belong to the standard mathematics as much as they do to the fuzzy one.