- #1

- 191

- 0

## Main Question or Discussion Point

I have been studying topology and abstract algebra for some years, and for a lot of time I have been having a hard time trying to understand the definition and concept of "preservation of mathematical structures".

For instance for binary operators a Homomorphism is said to preserve mathematical structure of this kind, but for regular functions in set theory an isomorphism is used instead, and for topological spaces an homeomorphism is used.

Is there any book, mathematical subject or any resource that could help me understand why these definitions are given and not others and why they work in order to preserve mathematical structures, could other alternative definitions work as well?

Does model theory or category theory help to give further insight to understand this?

Thanks a lot

For instance for binary operators a Homomorphism is said to preserve mathematical structure of this kind, but for regular functions in set theory an isomorphism is used instead, and for topological spaces an homeomorphism is used.

Is there any book, mathematical subject or any resource that could help me understand why these definitions are given and not others and why they work in order to preserve mathematical structures, could other alternative definitions work as well?

Does model theory or category theory help to give further insight to understand this?

Thanks a lot