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