1 paper · 2 filters
N. Raghavendra
We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of bi…