Construction of Pushout Complements in the Category of Hypergraphs
Abstract
We describe a concrete construction of all pushout complements for two given morphisms f : A -> B, m: B -> D in the category of hypergraphs, valid also for the case where f, m are non-injective. It is based on the generation of suitable equivalence relations. We also give a combinatorial interpretation and show how well-known coefficients from combinatorics, such as the Bell numbers, can be recovered. Furthermore we present a formula that can be used to compute the number of pushout complements for two given morphisms.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.39.647
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.39.647.667
Hosted By Universitätsbibliothek TU Berlin.