Definition of a hypergraph category