Abstract:
In the present paper, a complete description of the inverse subsemigroups of the bicyclic semigroup is given. Isomorphism conditions for two inverse subsemigroups are found. From the inverse subsemigroups under consideration, a category is constructed, and the existence of a functor from this category to the category of finite ordered sets of numbers is proved.