11 citations · 15 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CT2020★ 2 cited
Representing Semilattices as Relations
Robert Samuel Ralph Myers
We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of 's…
cs.FL2020★ 2 cited
Nondeterministic Automata and JSL-dfas
Robert Samuel Ralph Myers
We introduce the category of dependency automata. A dependency automaton consists of two nondeterministic finite automata, with a relation between their states satisfying condition…