https://github.com/iwilare/categorical-automata
Tip revision: 6455e527c0fe2bd436ea8a601b79217288c8971a authored by fouche on 29 May 2024, 08:57:15 UTC
Merge branch 'main' of https://github.com/iwilare/categorical-automata
Merge branch 'main' of https://github.com/iwilare/categorical-automata
Tip revision: 6455e52
AsPullbacks.agda
-- Definition of the categories Mealy(I,O) and Moore(I,O)
-- as (strict) pullbacks in Cat, generalized to FMealy and FMoore
open import FMealy.AsPullback
open import FMoore.AsPullback
