Algebraic Data Types You can treat algebraic equations like composite types, and vice-versa Discrete Category "How do we represent a single set as a category?" Sets do not have structure, but morphisms between objects imply structure Category in which there are no morphisms beyond identity ones Functors A functor maps one category into another A… Continue reading Category Theory Dump 3

## 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

## Reconstructability of Toy Worlds

Reza Negarestani on Toy Philosophy: Construction vs Representation "The child’s toy universe does not resemble anything like the represented world of ours. The toy blocks by which the child assiduously constructs a world are not anything like bricks cemented over bricks. They can be replaced or even discarded if the child is not satisfied with… Continue reading Reconstructability of Toy Worlds

## 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

## Coordination and Convergence

Over the last couple of years, I've been messily taking bites out of a very large theoretical ecosystem surrounding computation, interaction and language. I've been trying to apply some of these concepts, as well as more 'everyday' concepts from my life as a programmer, to more concrete scenarios or problems. What is coordination, and how… Continue reading Coordination and Convergence