Abstract

This paper discusses some issues arising from the category $\mathfrak{H}$ of hypergraphs, the category $\mathfrak{M}$ of (undirected) multigraphs, and the topos $\mathfrak{Q}$ of quivers. First, the natural inclusion of $\mathfrak{M}$ into $\mathfrak{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 $\mathfrak{M}$ and $\mathfrak{Q}$. On the other hand, neither $\mathfrak{H}$ nor $\mathfrak{M}$ is cartesian closed, meaning that neither is a topos like $\mathfrak{Q}$. Moreover, despite $\mathfrak{M}$ being a subcategory of $\mathfrak{H}$, $\mathfrak{H}$ does not have enough projective objects while $\mathfrak{M}$ admits a projective cover for every object.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.