Category Theory
摘要
Category theoryCategory theory is—alongside set theorySet theory and type theoryType theory—one of the three possible foundations of mathematics. It incorporates the structural mathematical thinking in an abstract way and is well-suited for the justification of a mathematical semanticsSemantics. Richard DedekindDedekind, Richard has in a certain sense founded structuralismStructuralism in mathematics. He realised that mathematical objects, such as numbers, can have many isomorphicIsomorphism set realisations. It is only their operations and structural properties that are unique.