The aim is to categorify the notion of group scheme and develop a decent theory of sheaf quotients over the categories, those are different from the standard category of commutative algebras. This is the new trend in the branch of nowadays mathematics that can be regarded as a non-commutative algebraic geometry in the broad sense.Minimum QualificationThe candidate should be familiar with the category theory, algebraic geometry, cohomology theory.Preferred Qualification