Binary trees and fibred categories

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…