We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Graph Traversals as Universal Constructions

Abstract: We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce functors from two different categories of edge-ordered directed graphs into two different categories of transitively closed edge-ordered graphs; one defines the lexicographic depth-first traversal and the other the lexicographic breadth-first traversal. We show that each functor factors as a composition of universal constructions, and that the usual presentation of traversals as linear orders on vertices can be recovered with the addition of an inclusion functor. Finally, we raise the question of to what extent we can recover search algorithms from the categorical description of the traversal they compute.
Comments: 21 pages (including 9 pages in appendix), 3 figures
Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
Cite as: arXiv:2104.14877 [math.CT]
  (or arXiv:2104.14877v1 [math.CT] for this version)

Submission history

From: Robin Kaarsgaard [view email]
[v1] Fri, 30 Apr 2021 10:05:47 GMT (309kb)

Link back to: arXiv, form interface, contact.