2 papers
math.CT2022
Lovàsz's hom-counting theorem by inclusion-exclusion principle
Shoma Fujino, Makoto Matsumoto
Let be the category of finite graphs. Lovàsz (1967) shows that if holds for any , then is isomorphic to . Pultr (…
math.CT2022
Locally-finite extensive categories, their semi-rings, and decomposition to connected objects
Shoma Fujino, Makoto Matsumoto
Let be the category of finite graphs. Lovàsz shows that the semi-ring of isomorphism classes of (with coproduct as sum, and product as multiplication) is…