Functions are everywhere! (Steve Awodey)

I have a lot of stuff to do recently. So I will pause blogging until about November. See you then, hopefully!