Title: A (Galois) theory for a generalized morphism

Abstract: 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.