Matches in SemOpenAlex for { <https://semopenalex.org/work/W3163906208> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3163906208 abstract "Lovasz (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the number of homomorphisms from C to B for any finite structure C. Soon after, Pultr (1973) proved a categorical generalisation of this fact. We propose a new categorical formulation, which applies to any locally finite category with pushouts and a proper factorisation system. As special cases of this general theorem, we obtain two variants of Lovasz' theorem: the result by Dvořak (2010) that characterises equivalence of graphs in the k-dimensional Weisfeiler-Leman equivalence by homomorphism counts from graphs of tree-width at most k, and the result of Grohe (2020) characterising equivalence with respect to first-order logic with counting and quantifier depth k in terms of homomorphism counts from graphs of tree-depth at most k. The connection of our categorical formulation with these results is obtained by means of the game comonads of Abramsky et al. We also present a novel application to homomorphism counts in modal logic." @default.
- W3163906208 created "2021-05-24" @default.
- W3163906208 creator A5048253290 @default.
- W3163906208 creator A5079172282 @default.
- W3163906208 creator A5080843415 @default.
- W3163906208 date "2021-05-07" @default.
- W3163906208 modified "2023-09-27" @default.
- W3163906208 title "Lov'asz-Type Theorems and Game Comonads" @default.
- W3163906208 cites W1489366126 @default.
- W3163906208 cites W1569165539 @default.
- W3163906208 cites W1595870841 @default.
- W3163906208 cites W1988612426 @default.
- W3163906208 cites W2026745535 @default.
- W3163906208 cites W2029837328 @default.
- W3163906208 cites W2033026830 @default.
- W3163906208 cites W2033761134 @default.
- W3163906208 cites W2055686117 @default.
- W3163906208 cites W2088027070 @default.
- W3163906208 cites W2120713972 @default.
- W3163906208 cites W2171491461 @default.
- W3163906208 cites W2181072414 @default.
- W3163906208 cites W2493333586 @default.
- W3163906208 cites W2613837134 @default.
- W3163906208 cites W2810685260 @default.
- W3163906208 cites W3031354613 @default.
- W3163906208 cites W3092837951 @default.
- W3163906208 cites W3107179006 @default.
- W3163906208 cites W3126477253 @default.
- W3163906208 cites W3127786370 @default.
- W3163906208 cites W3173471069 @default.
- W3163906208 hasPublicationYear "2021" @default.
- W3163906208 type Work @default.
- W3163906208 sameAs 3163906208 @default.
- W3163906208 citedByCount "1" @default.
- W3163906208 countsByYear W31639062082021 @default.
- W3163906208 crossrefType "posted-content" @default.
- W3163906208 hasAuthorship W3163906208A5048253290 @default.
- W3163906208 hasAuthorship W3163906208A5079172282 @default.
- W3163906208 hasAuthorship W3163906208A5080843415 @default.
- W3163906208 hasConcept C105795698 @default.
- W3163906208 hasConcept C113174947 @default.
- W3163906208 hasConcept C11413529 @default.
- W3163906208 hasConcept C114614502 @default.
- W3163906208 hasConcept C118615104 @default.
- W3163906208 hasConcept C175316100 @default.
- W3163906208 hasConcept C187834632 @default.
- W3163906208 hasConcept C2780069185 @default.
- W3163906208 hasConcept C33923547 @default.
- W3163906208 hasConcept C4042151 @default.
- W3163906208 hasConcept C5274069 @default.
- W3163906208 hasConceptScore W3163906208C105795698 @default.
- W3163906208 hasConceptScore W3163906208C113174947 @default.
- W3163906208 hasConceptScore W3163906208C11413529 @default.
- W3163906208 hasConceptScore W3163906208C114614502 @default.
- W3163906208 hasConceptScore W3163906208C118615104 @default.
- W3163906208 hasConceptScore W3163906208C175316100 @default.
- W3163906208 hasConceptScore W3163906208C187834632 @default.
- W3163906208 hasConceptScore W3163906208C2780069185 @default.
- W3163906208 hasConceptScore W3163906208C33923547 @default.
- W3163906208 hasConceptScore W3163906208C4042151 @default.
- W3163906208 hasConceptScore W3163906208C5274069 @default.
- W3163906208 hasLocation W31639062081 @default.
- W3163906208 hasOpenAccess W3163906208 @default.
- W3163906208 hasPrimaryLocation W31639062081 @default.
- W3163906208 hasRelatedWork W1510423293 @default.
- W3163906208 hasRelatedWork W1583993709 @default.
- W3163906208 hasRelatedWork W2161819557 @default.
- W3163906208 hasRelatedWork W2320324682 @default.
- W3163906208 hasRelatedWork W2729113569 @default.
- W3163906208 hasRelatedWork W2744866608 @default.
- W3163906208 hasRelatedWork W2884350435 @default.
- W3163906208 hasRelatedWork W2941701579 @default.
- W3163906208 hasRelatedWork W2948994621 @default.
- W3163906208 hasRelatedWork W2949141202 @default.
- W3163906208 hasRelatedWork W2950977924 @default.
- W3163906208 hasRelatedWork W2951236383 @default.
- W3163906208 hasRelatedWork W2957120292 @default.
- W3163906208 hasRelatedWork W2957164218 @default.
- W3163906208 hasRelatedWork W2963040972 @default.
- W3163906208 hasRelatedWork W2963916194 @default.
- W3163906208 hasRelatedWork W3021371512 @default.
- W3163906208 hasRelatedWork W3094622282 @default.
- W3163906208 hasRelatedWork W3197327104 @default.
- W3163906208 hasRelatedWork W3205614780 @default.
- W3163906208 isParatext "false" @default.
- W3163906208 isRetracted "false" @default.
- W3163906208 magId "3163906208" @default.
- W3163906208 workType "article" @default.