Presenting Profunctors Gabriel Goren-Roig, Joshua Meyers, and Emilio Minichiello Proceedings of the Seventh International Conference on Applied Category Theory 2024, Forthcoming arXiv Modal Logic with Relations over Paths: A Theoretical Development through Comonadic Semantics Santiago Figueira, and Gabriel Goren-Roig Journal of Logic and Computation, Jan 2025 DOI arXiv