This workshop brings together researchers in computational category theory who contribute theoretically to the design of algorithms and practically to the development of advanced software systems. Unlike traditional category theory meetings (theoretical and applied), this workshop will primarily focus on algorithms and existing software ecosystems like (CatLab.jl, CAP project, CatColab, CQL, Lambeq, 1Lab, …). The scope will range from computational methods in classical mathematical disciplines, such as algebraic geometry and representation theory, to applications in functional programming and type theory, all the way to established topics in applied category theory, including categorical and higher categorical rewriting, databases, quantum computing, string-diagrammatic programming, topological data analysis, numerical optimization, and agent-based modeling. The program will mix brief research talks, software demonstrations, and a plenary overview. The goal is to share recent work, clarify connections between theory and tools, and encourage practical collaborations and follow-up projects.