This Meetup is past

7 people went

Location image of event venue

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