Re:Ask HN: What OR Are there some multiple perspective books...
by davehcker on Tuesday July 28, 2020 @01:13PM
(#23978136)
Just took a glimpse of the chapter on Isomorphism pg. 91 (http://www2.math.umd.edu/~jcohen/402/Pinter%20Algebra.pdf )and now I'm indebted to you.
The concept of a 'functor' was invented to describe a higher order 'homomorphism of homomorphisms'. An example most people miss is the total derivative in multivariable calculus: the chain rule implies that the total derivative is a functor that maps the composition of differentiable functions on a manifold, to matrix multiplication (of matrices acting on the tangent space).
You might also be interested in various 'dual' concepts, like that between tangent spaces and cotangent spaces in differential geometry.
For algebra, I'd recommend Pinter's Book of Abstract Algebra.