A frobenioid structure on a category is a functor satisfying certain properties to a special type of category called an elementary frobenioid. These were designed by Mochizuki to encapsulate and abstract the notions of coverings and divisors.
