1 problem

Let $\bbB$ be a bicategory. Recall that automata in the Kleisli category of the powerset monad model nondeterministic automata in $\operatorname{Set}$, and that the presheaf constr…