Category Theory: Functoriality & Function Types

The Paper

https://bartoszmilewski.com/2015/02/03/functoriality/ (https://bartoszmilewski.com/2015/01/13/simple-algebraic-data-types/)

https://bartoszmilewski.com/2015/03/13/function-types/

Format

We start at 6:10, don't be late!

The discussion lasts for about 1 to 1.5 hours, depending upon the paper.

• Read the paper (done before you arrive)

• Introductions (name, and background)

• First impressions (1-2 minutes this is what I thought)

• Structured review (we move through the paper in order, everyone gets a chance to ask questions, offer comments, and raise concerns)

• Free form discussion

• Nominate and vote on the next paper

• Adjourn for food and/or drink at Steamworks (https://www.google.ca/maps?ion=1&espv=2&q=steamworks&bav=on.2,or.&biw=1674&bih=956&dpr=2&um=1&ie=UTF-8&sa=X&ved=0ahUKEwjTpLXtqb_MAhVC0mMKHWLiBLcQ_AUIBigB)

Abstract

For some time now I’ve been floating the idea of writing a book about category theory that would be targeted at programmers. Mind you, not computer scientists but programmers — engineers rather than scientists. I know this sounds crazy and I am properly scared. I can’t deny that there is a huge gap between science and engineering because I have worked on both sides of the divide. But I’ve always felt a very strong compulsion to explain things. I have tremendous admiration for Richard Feynman who was the master of simple explanations. I know I’m no Feynman, but I will try my best. I’m starting by publishing this preface — which is supposed to motivate the reader to learn category theory — in hopes of starting a discussion and soliciting feedback.

This is the first chapter of this book (yet to be complete).

Getting There

Stage 3 Systems is near the Vancouver City Centre Canada Line Station, or the Chinatown/Stadium Sky Train station, and there is pay parking available. Enter into the lobby, if no one is there to take you up the elevator, hang on if it's before 6:10, otherwise use the comments to get a hold of us.