Mathematics – Combinatorics
Scientific paper
2003-01-20
Mathematics
Combinatorics
19 pages
Scientific paper
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 binary graphs. We also relate the notion of
binary graphs to transition systems, which arise in the theory of concurrent
computing.
No associations
LandOfFree
Binary trees and fibred categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Binary trees and fibred categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Binary trees and fibred categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-307051