Proceedings of the 4th International Conference on Category Theory and Computer Science