Skip to content

category theory - recap & part 2

Photo of martin 'ε/2' heuschober
Hosted By
martin 'ε/2' h.
category theory - recap & part 2

Details

Hello fellow friends of the functional!

Aside from the newcomers demand for usable stuff there is the not so occasional demand for category theory (yes really).

As we didn't finish with the first part - guess what - second part will be happening.

I will improve the slides from the first meetup https://github.com/epsilonhalbe/Talks/blob/master/20151209-LH-Categories/Category%20Theory.pdf with the input provided from lambdaheads at the first meetup.

Topic for the 2nd part is

• recap and remember everything done in the first part.

• natural transformations, special objects (sum, product, initial, terminal)

• HASK and why it is not a category

Cheers and be excellent to each other
Martin

Photo of Lambdaheads - Functional Programming Vienna group
Lambdaheads - Functional Programming Vienna
See more events
Metalab
Rathausstraße 6, 1010 Vienna · Vienna