Graphs, hypergraphs, and properads

DOI10.1007/S13348-015-0160-0MaRDI QIDQ276737zbMATH OpenOpenAlexFDO

Authors Joachim Kock

Publication date 4 May 2016

Published in Collectanea Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.3744

zbMATH Keywords

directed graphsfree-properad monadgroupoid-enriched hypergraphspresheaves on elementary graphs

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Hypergraphs (05C65)

Abstract: A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs, second in terms of groupoid-enriched hypergraphs.

Recommendations

• Hypergraph categories
• Path homology of directed hypergraphs
• scientific article; zbMATH DE number 1410953
• Operads of hypergraphs
• Strong Homotopy Properads

Cites work

• scientific article; zbMATH DE number 2125667 (Why is no real title available?)
• scientific article; zbMATH DE number 43754 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• A Koszul duality for props
• A cellular nerve for higher categories
• A completeness theorem for open maps
• A foundation for PROPs, algebras, and modules
• Data types with symmetries and polynomial functors over groupoids
• Directed hypergraphs and applications
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
• Homotopy theory for algebras over polynomial monads
• Infinity properads and infinity wheeled properads
• Koszul duality for dioperads.
• Modular operads
• Monads with arities and their associated theories
• Polycategories
• Polynomial functors and trees
• Univalence in locally Cartesian closed categories

Cited in

(23)

• Whole-grain Petri nets and processes
• scientific article; zbMATH DE number 4023335 (Why is no real title available?)
• Categories of graphs for operadic structures
• Graphical combinatorics and a distributive law for modular operads
• scientific article; zbMATH DE number 3948305 (Why is no real title available?)
• Modular operads and the nerve theorem
• scientific article; zbMATH DE number 3910116 (Why is no real title available?)
• Moment categories and operads
• Homotopy-coherent algebra via Segal conditions
• Segal conditions for generalized operads
• On rectification and enrichment of infinity properads
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• scientific article; zbMATH DE number 3904633 (Why is no real title available?)
• A graphical category for higher modular operads
• The homotopy theory of simplicial props
• scientific article; zbMATH DE number 2172005 (Why is no real title available?)
• Local dissymmetry on graphs and related algebraic structures
• Hypergraph categories
• A combinatorial-topological shape category for polygraphs
• Free algebras through Day convolution
• The category of 3-computads is not cartesian closed
• Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials
• scientific article; zbMATH DE number 908762 (Why is no real title available?)

This page was built for publication: Graphs, hypergraphs, and properads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276737)