Category theoryis used to formalizemathematicsand its concepts as a collection ofobjectsandarrows(also calledmorphisms). Category theory can be used to formalize concepts of other high-level abstractions such asset theory,field theory, andgroup theory. Several terms used in category theory, including the term "morphism", differ from their uses within mathematics itself. In category theory, a "morphism" obeys a set of conditions specific to category theory itself. Thus, care must be taken to understand the context in which statements are made.