All Questions
1 question
4
votes
0
answers
118
views
Higher dimensional automata?
An NFA is just the data of a labelled, directed multigraph with a accepting predicate over the vertices.
Simplicial sets generalize directed multigraphs by allowing the existence of higher dimensional ...