if always wanted to learn about category teary Rs mathematicians call it
generalized abstract nonsense now what is got to greet eerie
category Terios demented mathematicians way
to do object on their programming or design patterns category is simply
built from objects and morphisms and the morphisms has to satisfy certain laws
a particular where you have morphism from a to be
and another more prison from BGC you have to have a morphism
directly from ATC as well now
let's take a step back and take this category
and make categories as objects
so that we get this picture here we have the
categories now as objects and we need to have a notion of more fit in well
that morphism is called a front door and the category is called
the category of small categories if we look
add to the rules for fun Starz what we recognize
is that the fun to run applied to object is really
and a generic diet and when it's applied to morphisms
we see that it's the familiar map function we can take
yet another step back and look at fun stars as object
and values from Jersey as objects we need
again a notion of morphism and does morphisms article
natural transformations and if we look at that with our developer glasses
we see that natural transformations are nothing more
then generic functions and this category by the way
is called the front door category again
the morphisms in the front door got greedy snatchers informations
have to satisfy particular laws and
usual way to ride does is with the computing diagram like this
so if you go from the adopt left to the bottom right you can go in two ways
and the law says that you know it doesn't matter which direction you take
well I know which direction you should take
you should come and do the smoke see you soon
in cyberspace