I have provisioned this repo in the Arrow org to participate in porting the chapters
https://github.com/arrow-kt/Category-Theory-for-Programmers.kt
Let me know if you want to participate by replying to this message in a thread and I will give you write access so you can create your own branches there. In the meantime I'm inviting those of you that have already shown interest.