A Functorial Link between Quivers and Hypergraphs

Publication date 29 July 2016

Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Hypergraphs (05C65) Functor categories, comma categories (18A25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Abstract: This paper discusses some issues arising from the category

m a t h f r a k H

of hypergraphs, the category

m a t h f r a k M

of (undirected) multigraphs, and the topos

m a t h f r a k Q

of quivers. First, the natural inclusion of

m a t h f r a k M

into

m a t h f r a k H

admits a right adjoint functor by deleting all nontraditional edges. Dually, the operations of taking the underlying multigraph of a quiver and taking the associated digraph of a multigraph form an adjoint pair between

m a t h f r a k M

and

m a t h f r a k Q

. On the other hand, neither

m a t h f r a k H

nor

m a t h f r a k M

is cartesian closed, meaning that neither is a topos like

m a t h f r a k Q

. Moreover, despite

m a t h f r a k M

being a subcategory of

m a t h f r a k H

,

m a t h f r a k H

does not have enough projective objects while

m a t h f r a k M

admits a projective cover for every object.

This page was built for publication: A Functorial Link between Quivers and Hypergraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6276074)