These Jupyter notebooks provide interactive Python tutorials for development with Coral. You can download these files and run them on a local Jupyter notebook, but ...

This is a solution manual for Paolo Aluffi's ALGEBRA, Chapter 0, a textbook that introduces abstract algebra using the language of categories. I find this approach to be particularly appealing. So I'm ...