1
00:00:00,010 --> 00:00:04,529
if always wanted to learn about category
teary Rs mathematicians call it

2
00:00:04,529 --> 00:00:08,690
generalized abstract nonsense now what
is got to greet eerie

3
00:00:08,690 --> 00:00:11,910
category Terios demented mathematicians
way

4
00:00:11,910 --> 00:00:17,470
to do object on their programming or
design patterns category is simply

5
00:00:17,470 --> 00:00:23,170
built from objects and morphisms and the
morphisms has to satisfy certain laws

6
00:00:23,170 --> 00:00:26,880
a particular where you have morphism
from a to be

7
00:00:26,880 --> 00:00:30,420
and another more prison from BGC you
have to have a morphism

8
00:00:30,420 --> 00:00:33,460
directly from ATC as well now

9
00:00:33,460 --> 00:00:36,989
let's take a step back and take this
category

10
00:00:36,989 --> 00:00:40,180
and make categories as objects

11
00:00:40,180 --> 00:00:43,309
so that we get this picture here we have
the

12
00:00:43,309 --> 00:00:48,120
categories now as objects and we need to
have a notion of more fit in well

13
00:00:48,120 --> 00:00:52,949
that morphism is called a front door and
the category is called

14
00:00:52,949 --> 00:00:56,510
the category of small categories if we
look

15
00:00:56,510 --> 00:00:59,930
add to the rules for fun Starz what we
recognize

16
00:00:59,930 --> 00:01:03,710
is that the fun to run applied to object
is really

17
00:01:03,710 --> 00:01:08,000
and a generic diet and when it's applied
to morphisms

18
00:01:08,000 --> 00:01:11,650
we see that it's the familiar map
function we can take

19
00:01:11,650 --> 00:01:15,670
yet another step back and look at fun
stars as object

20
00:01:15,670 --> 00:01:18,840
and values from Jersey as objects we
need

21
00:01:18,840 --> 00:01:23,159
again a notion of morphism and does
morphisms article

22
00:01:23,159 --> 00:01:27,479
natural transformations and if we look
at that with our developer glasses

23
00:01:27,479 --> 00:01:31,200
we see that natural transformations are
nothing more

24
00:01:31,200 --> 00:01:34,380
then generic functions and this category
by the way

25
00:01:34,380 --> 00:01:37,880
is called the front door category again

26
00:01:37,880 --> 00:01:41,479
the morphisms in the front door got
greedy snatchers informations

27
00:01:41,479 --> 00:01:44,759
have to satisfy particular laws and

28
00:01:44,759 --> 00:01:48,829
usual way to ride does is with the
computing diagram like this

29
00:01:48,829 --> 00:01:54,799
so if you go from the adopt left to the
bottom right you can go in two ways

30
00:01:54,799 --> 00:01:59,369
and the law says that you know it
doesn't matter which direction you take

31
00:01:59,369 --> 00:02:03,049
well I know which direction you should
take

32
00:02:03,049 --> 00:02:06,200
you should come and do the smoke see you
soon

33
00:02:06,200 --> 00:02:06,850
in cyberspace