Question
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>
Summary
| 2024 ARGOS @ McMaster | 11/17/2024 | Y | 5 | 8.00 | 80% | 0% | 0% |
Data
| Simpson Agonistes: The Crisis of Donut | Communism is Soviet power plus the yassification of the whole country | 10 | 0 | 0 | 10 |
| The Only Existing Manuscript from A Clockwork Orange | Moderator Can't Neg me While in Alpha | 10 | 0 | 0 | 10 |
| I'd prefer to have the team name be Christensen et al. than anything that Erik cooks up | Ryan Wesley Routh's 10 000 NATO-trained Afghan Quizbowlers | 10 | 0 | 0 | 10 |
| She Dicer On My Argonaute Till I RNA Interfere | Tensei Shitara Flashcard Data Ken | 0 | 0 | 0 | 0 |
| You cannot go to Aarhus to see his peat-brown head / With eyes like ripening fruit | as rational as the square root of two power bottoms | 10 | 0 | 0 | 10 |