Bartosz Milewski Category Theory Lectures → 3.1 Examples of categories, orders, monoids →
#
>

Typing

→
#
>

Types in Category of Types #card #bidirectional

→
#
>

corresponds to strong typing in programming

→
#
>

to compose two functions, the result of the first function has to be the same type as the input of the second function

→
#
>

Types in a Monoid #card #bidirectional

1
#
>

any two functions are composable

→
#
>

corresponds to weak typing

→