agda-categories

There are 0 repository under agda-categories topic.

• iwilare / categorical-automata

  Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

  category-theoryagda-categoriesautomata-theorymealy-machinemonoidal-categoriesmoore-machineagda
  Language:Agda 15