1 citations · 1 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
The Directed Van Kampen Theorem in Lean
Henning Basold, Peter Bruin, Dominique Lawson
Directed topology is an area of mathematics with applications in concurrency. It extends the concept of a topological space by adding a notion of directedness, which restricts how…
cs.LO2023
Enriching Diagrams with Algebraic Operations
Alejandro Villoria, Henning Basold, Alfons Laarman
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched…