Blog
F-Algebras
F-Algebras are the final missing link for us to tackle more complex problems like recursive descent.
› Read more
— Patrick Louis
Productmorphism
For a change, the productmorphism is once again a relatively easy to understand concept. It is basically the binary product of two morphisms which means that it parallelizes these morphisms.
› Read more
— Patrick Louis
Multi- and Polymorphisms
How can one-dimensional sets be mapped to multidimensional ones and what actually is polymorphism?
› Read more
— Patrick Louis
Functors
As can be imagined after the last article, categories in and of itself are not particularly useful. What's missing is a way to 'link' different categories together, or rather a way to describe relationships between one category and another.
› Read more
— Patrick Louis
What actually are Categories?
A category consists of four general elements:
A class of objects,
Morphisms,
an identity-morphism and
the composition operation.
For better understanding let's look at those elements individually in order to construct our categories.
› Read more