Grassmann’s Dialectics and Category Theory
In several key connections in his foundations of geometrical algebra, Grassmann makes significant use of the dialectical philosophy of 150 years ago. Now, after fifty years of development of category theory as a means for making explicit some nontrivial general arguments in geometry, it is possible to recover some of Grassmann’s insights and to express these in ways comprehensible to the modern geometer. For example, the category A of affine-linear spaces and maps (a monument to Grassmann) has a canonical adjoint functor to the category of (anti)commutative graded algebras, which as in Grassmann’s detailed description yields a sixteen-dimensional algebra when applied to a three-dimensional affine space (unlike the eight-dimensional exterior algebra of a three-dimensional vector space). The natural algebraic structure of these algebras includes a boundary operator ∂ which satisfies the (signed) Leibniz rule; for example, if A, B are points of the affine space then the product AB is the axial vector from A to B which the boundary degrades to the corresponding translation vector: ∂(AB) = B−A (since ∂A = ∂B = 1 for points). Grassmann philosophically motivated a notion of a “simple law of change,” but his editors in the 1890’s found this notion incoherent and decided he must have meant mere translations.
KeywordsBoundary Operator Category Theory Axial Vector Geometrical Algebra Affine Space
Unable to display preview. Download preview PDF.
- Hermann G. Grassmann, Die Ausdehnungslehre, ein neuer Zweig der Mathematik [A1], id., Gesammelte Werke, Ersten Bandes erster Theil (Leipzig: B. G. Teubner 1894 ) (Reprint Bronx, N. Y.: Chelsea 1969 ).Google Scholar
- Gregory M. Kelly, Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series 64, ( Cambridge: Cambridge University Press, 1982 ).Google Scholar
- F.William Lawvere, Functorial Semantics of Algebraic Theories,Thesis Columbia University, 1963.Google Scholar
- F.William Lawvere, “Some Thoughts on the Future of Category Theory,” Lecture Notes in Mathematics 1488 ( Berlin, etc.: Springer, 1991 ) 1–13.Google Scholar
- F.William Lawvere, “Categories of Space and of Quantity,” The Space of Mathematics. Philosophical, Epistemological and Historical Explorations, eds. Javier Echeverria et al. ( Berlin: De Gruyter, 1992 ), 14–30.Google Scholar
- F.William Lawvere, “Tools for the Advancement of Objective Logic: Closed Categories and Toposes,” The Logical Foundations of Cognition, eds. J. Macnamara & G.E. Reyes ( Oxford: Oxford Univ Press, 1994, 43–56.Google Scholar
- F.William Lawvere, “Cohesive Toposes and Cantor’s lauter Einsen’,”Philosophia Matematica,The Canadian Society for History and Philosophy of Mathematics, Series III, Vol. 2 (1994), 5–15.Google Scholar
- F.William Lawvere, “Unity and Identity of Opposites in Calculus and Physics,” Proceedings of the European Colloquium on Category Theory, Tours 1994, to appear in Applied Categorical Structures Google Scholar