Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307472073> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4307472073 abstract "Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories whose arrows are generalised relations, with enough structure to talk about domains and partial functions, but less structure than cartesian bicategories. The aim of this paper is threefold. The first goal is to extend the original definition of gs-monoidality by enriching it with a preorder on arrows, giving rise to what we call oplax cartesian categories. Second, we show that (preorder-enriched) gs-monoidal categories naturally arise both as Kleisli categories and as span categories, and the relation between the resulting formalisms is explored. Finally, we present two theorems concerning Yoneda embeddings on the one hand and functorial completeness on the other, the latter inducing a completeness result also for lax functors from oplax cartesian categories to $mathbf{Rel}$." @default.
- W4307472073 created "2022-11-01" @default.
- W4307472073 creator A5062051157 @default.
- W4307472073 creator A5072444101 @default.
- W4307472073 creator A5074259281 @default.
- W4307472073 creator A5087188225 @default.
- W4307472073 date "2022-05-13" @default.
- W4307472073 modified "2023-10-04" @default.
- W4307472073 title "From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness" @default.
- W4307472073 doi "https://doi.org/10.1007/s10485-023-09750-z" @default.
- W4307472073 hasPublicationYear "2022" @default.
- W4307472073 type Work @default.
- W4307472073 citedByCount "0" @default.
- W4307472073 crossrefType "posted-content" @default.
- W4307472073 hasAuthorship W4307472073A5062051157 @default.
- W4307472073 hasAuthorship W4307472073A5072444101 @default.
- W4307472073 hasAuthorship W4307472073A5074259281 @default.
- W4307472073 hasAuthorship W4307472073A5087188225 @default.
- W4307472073 hasBestOaLocation W43074720731 @default.
- W4307472073 hasConcept C11846945 @default.
- W4307472073 hasConcept C118615104 @default.
- W4307472073 hasConcept C134306372 @default.
- W4307472073 hasConcept C136119220 @default.
- W4307472073 hasConcept C156163052 @default.
- W4307472073 hasConcept C156772000 @default.
- W4307472073 hasConcept C171032842 @default.
- W4307472073 hasConcept C17231256 @default.
- W4307472073 hasConcept C202444582 @default.
- W4307472073 hasConcept C2333172 @default.
- W4307472073 hasConcept C2779904274 @default.
- W4307472073 hasConcept C33923547 @default.
- W4307472073 hasConcept C56208153 @default.
- W4307472073 hasConcept C7879355 @default.
- W4307472073 hasConcept C98912367 @default.
- W4307472073 hasConceptScore W4307472073C11846945 @default.
- W4307472073 hasConceptScore W4307472073C118615104 @default.
- W4307472073 hasConceptScore W4307472073C134306372 @default.
- W4307472073 hasConceptScore W4307472073C136119220 @default.
- W4307472073 hasConceptScore W4307472073C156163052 @default.
- W4307472073 hasConceptScore W4307472073C156772000 @default.
- W4307472073 hasConceptScore W4307472073C171032842 @default.
- W4307472073 hasConceptScore W4307472073C17231256 @default.
- W4307472073 hasConceptScore W4307472073C202444582 @default.
- W4307472073 hasConceptScore W4307472073C2333172 @default.
- W4307472073 hasConceptScore W4307472073C2779904274 @default.
- W4307472073 hasConceptScore W4307472073C33923547 @default.
- W4307472073 hasConceptScore W4307472073C56208153 @default.
- W4307472073 hasConceptScore W4307472073C7879355 @default.
- W4307472073 hasConceptScore W4307472073C98912367 @default.
- W4307472073 hasLocation W43074720731 @default.
- W4307472073 hasOpenAccess W4307472073 @default.
- W4307472073 hasPrimaryLocation W43074720731 @default.
- W4307472073 hasRelatedWork W1986885420 @default.
- W4307472073 hasRelatedWork W2101433240 @default.
- W4307472073 hasRelatedWork W2144311135 @default.
- W4307472073 hasRelatedWork W2316040467 @default.
- W4307472073 hasRelatedWork W2415965387 @default.
- W4307472073 hasRelatedWork W4221164648 @default.
- W4307472073 hasRelatedWork W4244360710 @default.
- W4307472073 hasRelatedWork W4307472073 @default.
- W4307472073 hasRelatedWork W4322726812 @default.
- W4307472073 hasRelatedWork W4387117477 @default.
- W4307472073 isParatext "false" @default.
- W4307472073 isRetracted "false" @default.
- W4307472073 workType "article" @default.