Category Theory Dump 2

Kleisli Category The Kleisli category of C is the corresponding category CT Every morphism f: X → T Y in C (with codomain TY) can also be regarded as a morphism in CT (but with codomain Y) The 'embellishing implementation' in C (the mapping which returns a new type that is a pair of the… Continue reading Category Theory Dump 2


Category Theory Dump

I'm really enjoying Bartosz Milewski's lectures on category theory. Categories Categories consist of objects and morphisms (the relationships between them) Objects are understood and reasoned about in terms of their morphisms, and not in terms of any internal constitution Must feature composition and identity Monoids Monoids are categories with only one object in them The… Continue reading Category Theory Dump

Transcendental Realism via Pete Wolfendale

This is fucking great. Wolfendale picks the path through Kant that I would never have been allowed to (and that would have been utterly out of my grasp anyway) as an undergrad. Forking Kant "to provide an epistemological definition of metaphysics that is both broadly Kantian and yet provides an alternative to Kant’s transcendental idealism… Continue reading Transcendental Realism via Pete Wolfendale

Turingian Revolution

Another paraphrase of the computational functionalist stance from Reza Negarestani's essay, "Revolution Backwards: Functional Realization and Computational Implementation": "But why is the Turingian revolution in cognitive and computer sciences a revolution that is conceived in and takes place in the future? Because what Turing proposes is a schema or a general program for a thorough reconstruction… Continue reading Turingian Revolution

Computational Functionalism

I'm reading Reza Negarestani's essay, "Revolution Backwards: Functional Realization and Computational Implementation", in which he unpacks a computational functionalist approach to theories of mind. Reading this made me realize how often I approach the analysis or decomposition of systems and their processes in this way. Very loosely, I paraphrase computational functionalism as: a) the decomposition… Continue reading Computational Functionalism