proarrow 0.3.0.0 is now released with this feature. #haskell #categorytheory

Delft University of Technology (@tudelft.nl) is hiring:
Postdoc in Category Theory, Computer Proof Assistants and Computer Algebra Systems

#postdoc #computerscience #categorytheory

proarrow-0.1.0.0 is now live on hackage! hackage-content.haskell.org/package/proa... #haskell #categorytheory

Today's random #categorytheory / #typetheory fact:

The "if... else" function is the "fold" of the Boolean type.

My #categorytheory lecture on Zurihac:

Part 1: https://www.youtube.com/watch?v=Xr1gcdb_IvA

This is getting complicated! #haskell #categorytheory

My daughter gave me this book, for which I am very grateful. Reading it now with great enjoyment.

An Invitation to Applied Category Theory: Seven Sketches in Compositionality

#math #categorytheory

Macquarie University is hiring:
Postdoctoral Fellow

#postdoc #mathsky #categorytheory