2015/07/22 by Christian D. Jäkel, Christian Jäkel, Jäkel, Christian
Computer Science · Mathematics · #Advanced Algebra and Logic #Combinatorics (math.CO) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #math.CO
paper · pdf · doi:10.48550/arxiv.1507.06328
31 pages, 33 figures
openalex publication_date 2015/07/22 · arxiv created 2015/08/10 · arxiv updated 2015/08/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For a set-endofunctor F, we extend the notion of universal F-coalgebras to F-graphs. These generalized coalgebras are models for various types of graphs, such as (un)directed (hyper)graphs, relational structures or fuzzy graphs. The induced morphisms coincide with graph homomorphisms. From this point of view, graphs are "co-like" structures and share features of universal coalgebras. In this article, we explore the coalgebraic character of graphs and transfer coalgebraic concepts like cofreeness, simulations or Co-Birkhoff theorems to F-graphs. Products and cofree constructions for F-graphs turn out to be less restrictive than their coalgebraic counterparts.