What better way to comprehend abstract nonsense, than with other abstract nonsense? For 10 points each:
[10e] Identify this philosopher whose thought was formalized using category theory and type theory by F. William Lawvere. Urs Schreiber’s category theoretic write-up of The Science of Logic defines this philosopher’s dialectic in terms of a pair of fully faithful adjoint functors.
ANSWER: Georg Wilhelm Friedrich Hegel [accept G. W. F. Hegel]
[10m] Categorically, this German-language concept is described as the minimal essential subtopos of Hegelian categories which resolves its opposites. The contradictory notions of creation and destruction are described by this process of going from thesis and antithesis to synthesis.
ANSWER: Aufhebung [accept Aufheben; accept sublation]
[10h] This concept is formalized as the universal factorization through the unique function between the empty type and the unit type. In Hegelian thought, this concept is the unity of the opposing notions of being and nothingness.
ANSWER: becoming [accepted Werden; accept Einstehen; accept Vergehen]
<Philosophy - Philosophy>