Christopher Bremer, “Types and Categories the ‘Easy’ Way”

There is a series of books by Zed Shaw called “Learn <X> the Hard Way” for X = Python, Ruby, etc. These books encourage the reader to embrace the nitty gritty of software development, put their hands on the keyboard, and code. I’m sure such a talk could exist for category theory and types and that it would be glorious. This is not that talk!

I will give a feel-good talk about category theory and why you might care about it. No jargon, no complicated examples, no technical caveats, all fluff! Think of it as the kind of math you can write down on a napkin at a cocktail party (as long as your counterpart doesn’t think too hard about it). Really, the only prerequisite is that you have a vague idea of what a “function” is and what a “set” is. I’m even going to try to keep things under 15 minutes!

Bio: Chris is a software engineer working in the energy industry. Previously, he was a mathematician studying algebraic geometry and an amateur jazz musician. He lives north of Houston with his family where he enjoys thinking about math and programming, listening to jazz, and reading.

Claude Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Mar 16, 2022 07:00 PM Central Time (US and Canada)

Join Zoom Meeting
https://uhd.zoom.us/j/97650775793?pwd=cGZwSVdOMFFJY0VBTzZLTk5Kdk5UZz09

Meeting ID: 976 5077 5793
Passcode: recursion
One tap mobile
+13462487799,,97650775793# US (Houston)
+19712471195,,97650775793# US (Portland)

Dial by your location
+1 346 248 7799 US (Houston)
+1 971 247 1195 US (Portland)
+1 206 337 9723 US (Seattle)
+1 213 338 8477 US (Los Angeles)
+1 253 215 8782 US (Tacoma)
+1 602 753 0140 US (Phoenix)
+1 669 219 2599 US (San Jose)
+1 669 900 6833 US (San Jose)
+1 720 928 9299 US (Denver)
+1 651 372 8299 US (Minnesota)
+1 786 635 1003 US (Miami)
+1 267 831 0333 US (Philadelphia)
+1 301 715 8592 US (Washington DC)
+1 312 626 6799 US (Chicago)
+1 470 250 9358 US (Atlanta)
+1 470 381 2552 US (Atlanta)
+1 646 518 9805 US (New York)
+1 646 558 8656 US (New York)
Meeting ID: 976 5077 5793
Find your local number: https://uhd.zoom.us/u/abipYDELBV

Join by SIP
97650775793@zoomcrc.com

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia Sydney)
103.122.167.55 (Australia Melbourne)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada Toronto)
65.39.152.160 (Canada Vancouver)
207.226.132.110 (Japan Tokyo)
149.137.24.110 (Japan Osaka)
Meeting ID: 976 5077 5793
Passcode: 026292507

Join by Skype for Business
https://uhd.zoom.us/skype/97650775793