HoTT-categories icon indicating copy to clipboard operation
HoTT-categories copied to clipboard

Published 20 hours ago • verified publisher icon CategoricalData

Port (graph) paths category

Open JasonGross opened this issue 12 years ago • 0 comments

The objects in a path category are paths of edges in a graph.

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/PathsCategory.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/PathsCategoryFunctors.v?at=default

JasonGross avatar Oct 18 '13 02:10 JasonGross