👉 In mathematics, a hypermorphism is an isomorphism of categories that preserves all limits. A hypergraph is a generalization of graphs to directed acyclic graphs (DAGs), where the edges are oriented and the vertices have special properties like being connected and having no repeated edges.