Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Lovàsz's hom-counting theorem by inclusion-exclusion principle
(Submitted on 4 Jun 2022 (v1), last revised 19 Jul 2022 (this version, v2))
Abstract: Let ${\mathcal C}$ be the category of finite graphs. Lov\`{a}sz (1967) shows that if $|\mathrm{Hom}(X,A)|=|\mathrm{Hom}(X,B)|$ holds for any $X$, then $A$ is isomorphic to $B$. Pultr (1973) gives a categorical generalization using a similar argument. Both proofs assume that each object has a finite number of isomorphism classes of subobjects. Generalizations without this assumption are given by Dawar, Jakl, and Reggio (2021) and Regio (2021). Here another generalization without this assumption is given, with a shorter proof. Examples of categories are given, for which our theorem is applicable, but the existing theorems are not.
Submission history
From: Makoto Matsumoto [view email][v1] Sat, 4 Jun 2022 14:14:53 GMT (11kb)
[v2] Tue, 19 Jul 2022 11:53:51 GMT (11kb)
Link back to: arXiv, form interface, contact.