Transfer of Arguments and Structures
摘要
In this chapter, we illustrate the transfer of arguments and structural elements to other areas with two examples. Homological algebra as a technology for structural comparison and the concept of a group object for the formalization of symmetries.