arXiv · 0910.5387
Incidence Categories
Abstract
Given a family $\F$ of posets closed under disjoint unions and the operation of taking convex subposets, we construct a category $\C_{\F}$ called the \emph{incidence category of $\F$}. This category is "nearly abelian" in the sense that all morphisms have kernels/cokernels, and possesses a symmetric monoidal structure akin to direct sum. The Ringel-Hall algebra of $\C_{\F}$ is isomorphic to the incidence Hopf algebra of the collection $¶(\F)$ of order ideals of posets in $\F$. This construction generalizes the categories introduced by K. Kremnizer and the author In the case when $\F$ is the collection of posets coming from rooted forests or Feynman graphs.
Explore related subjects
Keep this discovery
Matt Szczesny. 2009-10-28. Incidence Categories. https://arxiv.org/abs/0910.5387
Cite the original work for its findings. Save a collection to share your selection of sources.