  Some sorts of "morphisms" are defined from very basic mathematical objects
such as sets, functions, and partial functions. A wide range of mathematical
notions such as continuous functions between topological spaces, ring
homomorphisms, module homomorphisms, group homomorphisms, and covariant
functors between categories can be characterized in terms of the "morphisms".
Moreover, we show that the inverse of any bijective "morphism" is also a
"morphism", and so an "isomorphism" can be defined as a bijective "morphism".
  Galois correspondences are established and studied, not only for the Galois
groups of the "automorphisms", but also for the "Galois monoids" of the
"endomorphisms".
  Ways to construct the "morphisms" and the "isomorphisms" are studied.
  New interpretations on solvability of polynomials and solvability of
homogeneous linear differential equations are introduced, and these ideas are
roughly generalized for "general" equation solving in terms of the theory for
the "morphisms".
  Some more results are presented. For example, we obtain an isomorphism
theorem that generalizes the first isomorphism theorems for groups, rings, and
modules. In addition, we show that a part of our theory is closely related to
dynamical systems.
