2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Richard Garner, Alyssa Renata, Nicolas Wu
We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on Set; and (ii) the category of internal categories and internal retrofunct…