FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761436819> ?p ?o ?g. }

• W2761436819 abstract "For a topos $mathbf{T}$, there is a bicategory $mathbf{MonicSp(Csp(T))}$ whose objects are those of $mathbf{T}$, morphisms are cospans in $mathbf{T}$, and 2-morphisms are isomorphism classes of monic spans of cospans in $mathbf{T}$. Using a result of Shulman, we prove that $mathbf{MonicSp(Csp(T))}$ is symmetric monoidal, and moreover, that it is compact closed in the sense of Stay. We provide an application which illustrates how to encode double pushout rewrite rules as $2$-morphisms inside a compact closed sub-bicategory of $mathbf{MonicSp(Csp(Graph))}$." @default.
• W2761436819 created "2017-10-20" @default.
• W2761436819 creator A5071342911 @default.
• W2761436819 creator A5077865739 @default.
• W2761436819 date "2017-07-07" @default.
• W2761436819 modified "2023-09-27" @default.
• W2761436819 title "Spans of cospans in a topos" @default.
• W2761436819 cites W1014622205 @default.
• W2761436819 cites W1501119298 @default.
• W2761436819 cites W1537982644 @default.
• W2761436819 cites W1562513666 @default.
• W2761436819 cites W1636088426 @default.
• W2761436819 cites W1958250673 @default.
• W2761436819 cites W1983771741 @default.
• W2761436819 cites W1984373628 @default.
• W2761436819 cites W2096531932 @default.
• W2761436819 cites W2103181565 @default.
• W2761436819 cites W2120713972 @default.
• W2761436819 cites W2123549656 @default.
• W2761436819 cites W2137065916 @default.
• W2761436819 cites W2152476038 @default.
• W2761436819 cites W2168576232 @default.
• W2761436819 cites W2170604368 @default.
• W2761436819 cites W2269952030 @default.
• W2761436819 cites W2301090749 @default.
• W2761436819 cites W2397532503 @default.
• W2761436819 cites W2502957253 @default.
• W2761436819 cites W2523361026 @default.
• W2761436819 cites W2549864199 @default.
• W2761436819 cites W2737072409 @default.
• W2761436819 cites W2951983680 @default.
• W2761436819 cites W2963886789 @default.
• W2761436819 cites W3099677335 @default.
• W2761436819 cites W3101612166 @default.
• W2761436819 cites W3104708154 @default.
• W2761436819 cites W580504966 @default.
• W2761436819 hasPublicationYear "2017" @default.
• W2761436819 type Work @default.
• W2761436819 sameAs 2761436819 @default.
• W2761436819 citedByCount "2" @default.
• W2761436819 countsByYear W27614368192019 @default.
• W2761436819 countsByYear W27614368192020 @default.
• W2761436819 crossrefType "posted-content" @default.
• W2761436819 hasAuthorship W2761436819A5071342911 @default.
• W2761436819 hasAuthorship W2761436819A5077865739 @default.
• W2761436819 hasConcept C114614502 @default.
• W2761436819 hasConcept C115624301 @default.
• W2761436819 hasConcept C118615104 @default.
• W2761436819 hasConcept C124952713 @default.
• W2761436819 hasConcept C132525143 @default.
• W2761436819 hasConcept C134306372 @default.
• W2761436819 hasConcept C137212723 @default.
• W2761436819 hasConcept C142362112 @default.
• W2761436819 hasConcept C163635466 @default.
• W2761436819 hasConcept C182141236 @default.
• W2761436819 hasConcept C185592680 @default.
• W2761436819 hasConcept C202444582 @default.
• W2761436819 hasConcept C203436722 @default.
• W2761436819 hasConcept C2778795013 @default.
• W2761436819 hasConcept C33923547 @default.
• W2761436819 hasConcept C8010536 @default.
• W2761436819 hasConcept C90119067 @default.
• W2761436819 hasConceptScore W2761436819C114614502 @default.
• W2761436819 hasConceptScore W2761436819C115624301 @default.
• W2761436819 hasConceptScore W2761436819C118615104 @default.
• W2761436819 hasConceptScore W2761436819C124952713 @default.
• W2761436819 hasConceptScore W2761436819C132525143 @default.
• W2761436819 hasConceptScore W2761436819C134306372 @default.
• W2761436819 hasConceptScore W2761436819C137212723 @default.
• W2761436819 hasConceptScore W2761436819C142362112 @default.
• W2761436819 hasConceptScore W2761436819C163635466 @default.
• W2761436819 hasConceptScore W2761436819C182141236 @default.
• W2761436819 hasConceptScore W2761436819C185592680 @default.
• W2761436819 hasConceptScore W2761436819C202444582 @default.
• W2761436819 hasConceptScore W2761436819C203436722 @default.
• W2761436819 hasConceptScore W2761436819C2778795013 @default.
• W2761436819 hasConceptScore W2761436819C33923547 @default.
• W2761436819 hasConceptScore W2761436819C8010536 @default.
• W2761436819 hasConceptScore W2761436819C90119067 @default.
• W2761436819 hasLocation W27614368191 @default.
• W2761436819 hasOpenAccess W2761436819 @default.
• W2761436819 hasPrimaryLocation W27614368191 @default.
• W2761436819 hasRelatedWork W123913009 @default.
• W2761436819 hasRelatedWork W1515303778 @default.
• W2761436819 hasRelatedWork W1515531651 @default.
• W2761436819 hasRelatedWork W1698833242 @default.
• W2761436819 hasRelatedWork W1982346842 @default.
• W2761436819 hasRelatedWork W2015189779 @default.
• W2761436819 hasRelatedWork W2034768505 @default.
• W2761436819 hasRelatedWork W2137333773 @default.
• W2761436819 hasRelatedWork W2224936634 @default.
• W2761436819 hasRelatedWork W2577867144 @default.
• W2761436819 hasRelatedWork W2590442380 @default.
• W2761436819 hasRelatedWork W2735024097 @default.
• W2761436819 hasRelatedWork W2805474782 @default.
• W2761436819 hasRelatedWork W2883903894 @default.
• W2761436819 hasRelatedWork W2952210926 @default.
• W2761436819 hasRelatedWork W3086815346 @default.
• W2761436819 hasRelatedWork W3097700522 @default.
• W2761436819 hasRelatedWork W3122987924 @default.

• next