Matches in SemOpenAlex for { <https://semopenalex.org/work/W2767079703> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2767079703 abstract "Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of objects that can be represented as algebras as well as coalgebras, e.g., the category of directed graphs. Multimodeling requires to construct colimits of models, decomposition is given by pullback. Compositionality requires an exact interplay of these operations, i.e., diagrams must enjoy the Van Kampen property. However, checking the validity of the Van Kampen property algorithmically based on its definition is often impossible. In this paper we state a necessary and sufficient yet efficiently checkable condition for the Van Kampen property to hold in presheaf topoi. It is based on a uniqueness property of path-like structures within the defining congruence classes that make up the colimiting cocone of the models. We thus add to the statement Being Van Kampen is a Universal Property by Heindel and Soboci'{n}ski the fact that the Van Kampen property reveals a presheaf-based structural uniqueness feature." @default.
- W2767079703 created "2017-11-10" @default.
- W2767079703 creator A5002924404 @default.
- W2767079703 creator A5056070556 @default.
- W2767079703 date "2017-10-26" @default.
- W2767079703 modified "2023-10-14" @default.
- W2767079703 title "Van Kampen Colimits and Path Uniqueness" @default.
- W2767079703 cites W1505296242 @default.
- W2767079703 cites W1523891492 @default.
- W2767079703 cites W1534018603 @default.
- W2767079703 cites W1540530196 @default.
- W2767079703 cites W1548957673 @default.
- W2767079703 cites W1576109326 @default.
- W2767079703 cites W1647909232 @default.
- W2767079703 cites W173474580 @default.
- W2767079703 cites W192120928 @default.
- W2767079703 cites W1994967437 @default.
- W2767079703 cites W2000581100 @default.
- W2767079703 cites W2012904363 @default.
- W2767079703 cites W2023237551 @default.
- W2767079703 cites W2027866234 @default.
- W2767079703 cites W2099698375 @default.
- W2767079703 cites W2120713972 @default.
- W2767079703 cites W2129539457 @default.
- W2767079703 cites W2135652513 @default.
- W2767079703 cites W2606499858 @default.
- W2767079703 cites W2784198467 @default.
- W2767079703 cites W8556814 @default.
- W2767079703 cites W87506586 @default.
- W2767079703 doi "https://doi.org/10.23638/lmcs-14(2:5)2018" @default.
- W2767079703 hasPublicationYear "2017" @default.
- W2767079703 type Work @default.
- W2767079703 sameAs 2767079703 @default.
- W2767079703 citedByCount "1" @default.
- W2767079703 countsByYear W27670797032022 @default.
- W2767079703 crossrefType "posted-content" @default.
- W2767079703 hasAuthorship W2767079703A5002924404 @default.
- W2767079703 hasAuthorship W2767079703A5056070556 @default.
- W2767079703 hasBestOaLocation W27670797031 @default.
- W2767079703 hasConcept C111472728 @default.
- W2767079703 hasConcept C121375916 @default.
- W2767079703 hasConcept C124952713 @default.
- W2767079703 hasConcept C132074034 @default.
- W2767079703 hasConcept C134306372 @default.
- W2767079703 hasConcept C136119220 @default.
- W2767079703 hasConcept C138885662 @default.
- W2767079703 hasConcept C142362112 @default.
- W2767079703 hasConcept C154945302 @default.
- W2767079703 hasConcept C182141236 @default.
- W2767079703 hasConcept C189950617 @default.
- W2767079703 hasConcept C202444582 @default.
- W2767079703 hasConcept C2524010 @default.
- W2767079703 hasConcept C2777021972 @default.
- W2767079703 hasConcept C2777680557 @default.
- W2767079703 hasConcept C33923547 @default.
- W2767079703 hasConcept C41008148 @default.
- W2767079703 hasConceptScore W2767079703C111472728 @default.
- W2767079703 hasConceptScore W2767079703C121375916 @default.
- W2767079703 hasConceptScore W2767079703C124952713 @default.
- W2767079703 hasConceptScore W2767079703C132074034 @default.
- W2767079703 hasConceptScore W2767079703C134306372 @default.
- W2767079703 hasConceptScore W2767079703C136119220 @default.
- W2767079703 hasConceptScore W2767079703C138885662 @default.
- W2767079703 hasConceptScore W2767079703C142362112 @default.
- W2767079703 hasConceptScore W2767079703C154945302 @default.
- W2767079703 hasConceptScore W2767079703C182141236 @default.
- W2767079703 hasConceptScore W2767079703C189950617 @default.
- W2767079703 hasConceptScore W2767079703C202444582 @default.
- W2767079703 hasConceptScore W2767079703C2524010 @default.
- W2767079703 hasConceptScore W2767079703C2777021972 @default.
- W2767079703 hasConceptScore W2767079703C2777680557 @default.
- W2767079703 hasConceptScore W2767079703C33923547 @default.
- W2767079703 hasConceptScore W2767079703C41008148 @default.
- W2767079703 hasLocation W27670797031 @default.
- W2767079703 hasOpenAccess W2767079703 @default.
- W2767079703 hasPrimaryLocation W27670797031 @default.
- W2767079703 hasRelatedWork W1966582389 @default.
- W2767079703 hasRelatedWork W2020174565 @default.
- W2767079703 hasRelatedWork W2031320921 @default.
- W2767079703 hasRelatedWork W2046475951 @default.
- W2767079703 hasRelatedWork W2075513489 @default.
- W2767079703 hasRelatedWork W2165986557 @default.
- W2767079703 hasRelatedWork W2333925524 @default.
- W2767079703 hasRelatedWork W2410897890 @default.
- W2767079703 hasRelatedWork W2767079703 @default.
- W2767079703 hasRelatedWork W2963339385 @default.
- W2767079703 isParatext "false" @default.
- W2767079703 isRetracted "false" @default.
- W2767079703 magId "2767079703" @default.
- W2767079703 workType "article" @default.