FRINK Linked Data Fragments server

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

• W2788964541 abstract "Notions of guardedness serve to delineate the admissibility of cycles, e.g. in recursion, corecursion, iteration, or tracing. We introduce an abstract notion of guardedness structure on a symmetric monoidal category, along with a corresponding notion of guarded traces, which are defined only if the cycles they induce are guarded. We relate structural guardedness, determined by propagating guardedness along the operations of the category, to geometric guardedness phrased in terms of a diagrammatic language. In our setup, the Cartesian case (recursion) and the co-Cartesian case (iteration) become completely dual, and we show that in these cases, guarded tracedness is equivalent to presence of a guarded Conway operator, in analogy to an observation on total traces by Hasegawa and Hyland. Moreover, we relate guarded traces to unguarded categorical uniform fixpoint operators in the style of Simpson and Plotkin. Finally, we show that partial traces based on Hilbert-Schmidt operators in the category of Hilbert spaces are an instance of guarded traces." @default.
• W2788964541 created "2018-03-06" @default.
• W2788964541 creator A5049352361 @default.
• W2788964541 creator A5073765060 @default.
• W2788964541 date "2018-02-23" @default.
• W2788964541 modified "2023-09-27" @default.
• W2788964541 title "Guarded Traced Categories" @default.
• W2788964541 cites W1503973138 @default.
• W2788964541 cites W1529733759 @default.
• W2788964541 cites W1589613545 @default.
• W2788964541 cites W1605626978 @default.
• W2788964541 cites W1982928587 @default.
• W2788964541 cites W1986188250 @default.
• W2788964541 cites W1996151507 @default.
• W2788964541 cites W1997143185 @default.
• W2788964541 cites W2005062379 @default.
• W2788964541 cites W2018430837 @default.
• W2788964541 cites W2082232201 @default.
• W2788964541 cites W2084929300 @default.
• W2788964541 cites W2085552917 @default.
• W2788964541 cites W2088189323 @default.
• W2788964541 cites W2096885339 @default.
• W2788964541 cites W2120713972 @default.
• W2788964541 cites W2131283815 @default.
• W2788964541 cites W2158789193 @default.
• W2788964541 cites W2162492115 @default.
• W2788964541 cites W2612449809 @default.
• W2788964541 cites W623593394 @default.
• W2788964541 cites W63499524 @default.
• W2788964541 hasPublicationYear "2018" @default.
• W2788964541 type Work @default.
• W2788964541 sameAs 2788964541 @default.
• W2788964541 citedByCount "1" @default.
• W2788964541 countsByYear W27889645412021 @default.
• W2788964541 crossrefType "posted-content" @default.
• W2788964541 hasAuthorship W2788964541A5049352361 @default.
• W2788964541 hasAuthorship W2788964541A5073765060 @default.
• W2788964541 hasConcept C104317684 @default.
• W2788964541 hasConcept C105795698 @default.
• W2788964541 hasConcept C106624574 @default.
• W2788964541 hasConcept C11413529 @default.
• W2788964541 hasConcept C136119220 @default.
• W2788964541 hasConcept C138673069 @default.
• W2788964541 hasConcept C138885662 @default.
• W2788964541 hasConcept C156163052 @default.
• W2788964541 hasConcept C156772000 @default.
• W2788964541 hasConcept C158448853 @default.
• W2788964541 hasConcept C16038011 @default.
• W2788964541 hasConcept C168773036 @default.
• W2788964541 hasConcept C17020691 @default.
• W2788964541 hasConcept C171032842 @default.
• W2788964541 hasConcept C185592680 @default.
• W2788964541 hasConcept C199360897 @default.
• W2788964541 hasConcept C202444582 @default.
• W2788964541 hasConcept C2524010 @default.
• W2788964541 hasConcept C33923547 @default.
• W2788964541 hasConcept C41008148 @default.
• W2788964541 hasConcept C41895202 @default.
• W2788964541 hasConcept C521332185 @default.
• W2788964541 hasConcept C5274069 @default.
• W2788964541 hasConcept C54884031 @default.
• W2788964541 hasConcept C55493867 @default.
• W2788964541 hasConcept C62799726 @default.
• W2788964541 hasConcept C86339819 @default.
• W2788964541 hasConcept C98912367 @default.
• W2788964541 hasConceptScore W2788964541C104317684 @default.
• W2788964541 hasConceptScore W2788964541C105795698 @default.
• W2788964541 hasConceptScore W2788964541C106624574 @default.
• W2788964541 hasConceptScore W2788964541C11413529 @default.
• W2788964541 hasConceptScore W2788964541C136119220 @default.
• W2788964541 hasConceptScore W2788964541C138673069 @default.
• W2788964541 hasConceptScore W2788964541C138885662 @default.
• W2788964541 hasConceptScore W2788964541C156163052 @default.
• W2788964541 hasConceptScore W2788964541C156772000 @default.
• W2788964541 hasConceptScore W2788964541C158448853 @default.
• W2788964541 hasConceptScore W2788964541C16038011 @default.
• W2788964541 hasConceptScore W2788964541C168773036 @default.
• W2788964541 hasConceptScore W2788964541C17020691 @default.
• W2788964541 hasConceptScore W2788964541C171032842 @default.
• W2788964541 hasConceptScore W2788964541C185592680 @default.
• W2788964541 hasConceptScore W2788964541C199360897 @default.
• W2788964541 hasConceptScore W2788964541C202444582 @default.
• W2788964541 hasConceptScore W2788964541C2524010 @default.
• W2788964541 hasConceptScore W2788964541C33923547 @default.
• W2788964541 hasConceptScore W2788964541C41008148 @default.
• W2788964541 hasConceptScore W2788964541C41895202 @default.
• W2788964541 hasConceptScore W2788964541C521332185 @default.
• W2788964541 hasConceptScore W2788964541C5274069 @default.
• W2788964541 hasConceptScore W2788964541C54884031 @default.
• W2788964541 hasConceptScore W2788964541C55493867 @default.
• W2788964541 hasConceptScore W2788964541C62799726 @default.
• W2788964541 hasConceptScore W2788964541C86339819 @default.
• W2788964541 hasConceptScore W2788964541C98912367 @default.
• W2788964541 hasLocation W27889645411 @default.
• W2788964541 hasOpenAccess W2788964541 @default.
• W2788964541 hasPrimaryLocation W27889645411 @default.
• W2788964541 hasRelatedWork W1498388520 @default.
• W2788964541 hasRelatedWork W1529499390 @default.
• W2788964541 hasRelatedWork W1533548386 @default.
• W2788964541 hasRelatedWork W1539288234 @default.

• next