works on
complexity theory 1fuzzing 1program generation 1property-based testing 1randomised testing 1symbolic execution 1

From the 1 of 4 linked papers with an AI index.

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Stone Duality for Monads

Richard Garner, Alyssa Renata, Nicolas Wu

We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on ; and (ii) the category of internal categories and internal retrofunct…