FRINK Linked Data Fragments server

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

• W2936310910 abstract "Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as theories of symmetric operads, non-symmetric operads, generalised operads, PROPs, PROs, and monads. These variants of universal algebra are called notions of algebraic theory. In this paper, we develop a unified framework for them. The key observation is that each notion of algebraic theory can be identified with a monoidal category, in such a way that algebraic theories correspond to monoid objects therein. To incorporate semantics, we introduce a categorical structure called metamodel, which formalises a definition of models of algebraic theories. We also define morphisms between notions of algebraic theory, which are a monoidal version of profunctors. Every strong monoidal functor gives rise to an adjoint pair of such morphisms, and provides a uniform method to establish isomorphisms between categories of models in different notions of algebraic theory. A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown." @default.
• W2936310910 created "2019-04-25" @default.
• W2936310910 creator A5024376147 @default.
• W2936310910 date "2019-04-18" @default.
• W2936310910 modified "2023-09-27" @default.
• W2936310910 title "A unified framework for notions of algebraic theory" @default.
• W2936310910 cites W1510067240 @default.
• W2936310910 cites W1527324030 @default.
• W2936310910 cites W1534787852 @default.
• W2936310910 cites W1549977012 @default.
• W2936310910 cites W156546173 @default.
• W2936310910 cites W158035142 @default.
• W2936310910 cites W1635067508 @default.
• W2936310910 cites W185087817 @default.
• W2936310910 cites W1981049756 @default.
• W2936310910 cites W1989039217 @default.
• W2936310910 cites W2015034783 @default.
• W2936310910 cites W2020281315 @default.
• W2936310910 cites W2020879982 @default.
• W2936310910 cites W2021792968 @default.
• W2936310910 cites W2022585163 @default.
• W2936310910 cites W2032547209 @default.
• W2936310910 cites W2040355822 @default.
• W2936310910 cites W2047862786 @default.
• W2936310910 cites W2049352524 @default.
• W2936310910 cites W2075406361 @default.
• W2936310910 cites W2101433240 @default.
• W2936310910 cites W2107674601 @default.
• W2936310910 cites W2118671630 @default.
• W2936310910 cites W2123887510 @default.
• W2936310910 cites W2151404275 @default.
• W2936310910 cites W2153093278 @default.
• W2936310910 cites W217388287 @default.
• W2936310910 cites W2320389486 @default.
• W2936310910 cites W2347010600 @default.
• W2936310910 cites W2502957253 @default.
• W2936310910 cites W2734468014 @default.
• W2936310910 cites W2742869180 @default.
• W2936310910 cites W2921241419 @default.
• W2936310910 hasPublicationYear "2019" @default.
• W2936310910 type Work @default.
• W2936310910 sameAs 2936310910 @default.
• W2936310910 citedByCount "1" @default.
• W2936310910 countsByYear W29363109102020 @default.
• W2936310910 crossrefType "posted-content" @default.
• W2936310910 hasAuthorship W2936310910A5024376147 @default.
• W2936310910 hasConcept C105795698 @default.
• W2936310910 hasConcept C134306372 @default.
• W2936310910 hasConcept C136119220 @default.
• W2936310910 hasConcept C137212723 @default.
• W2936310910 hasConcept C156163052 @default.
• W2936310910 hasConcept C156772000 @default.
• W2936310910 hasConcept C188971069 @default.
• W2936310910 hasConcept C202444582 @default.
• W2936310910 hasConcept C25971838 @default.
• W2936310910 hasConcept C2779782106 @default.
• W2936310910 hasConcept C2779904274 @default.
• W2936310910 hasConcept C33923547 @default.
• W2936310910 hasConcept C5274069 @default.
• W2936310910 hasConcept C54884031 @default.
• W2936310910 hasConcept C76069219 @default.
• W2936310910 hasConcept C9376300 @default.
• W2936310910 hasConcept C98912367 @default.
• W2936310910 hasConceptScore W2936310910C105795698 @default.
• W2936310910 hasConceptScore W2936310910C134306372 @default.
• W2936310910 hasConceptScore W2936310910C136119220 @default.
• W2936310910 hasConceptScore W2936310910C137212723 @default.
• W2936310910 hasConceptScore W2936310910C156163052 @default.
• W2936310910 hasConceptScore W2936310910C156772000 @default.
• W2936310910 hasConceptScore W2936310910C188971069 @default.
• W2936310910 hasConceptScore W2936310910C202444582 @default.
• W2936310910 hasConceptScore W2936310910C25971838 @default.
• W2936310910 hasConceptScore W2936310910C2779782106 @default.
• W2936310910 hasConceptScore W2936310910C2779904274 @default.
• W2936310910 hasConceptScore W2936310910C33923547 @default.
• W2936310910 hasConceptScore W2936310910C5274069 @default.
• W2936310910 hasConceptScore W2936310910C54884031 @default.
• W2936310910 hasConceptScore W2936310910C76069219 @default.
• W2936310910 hasConceptScore W2936310910C9376300 @default.
• W2936310910 hasConceptScore W2936310910C98912367 @default.
• W2936310910 hasLocation W29363109101 @default.
• W2936310910 hasOpenAccess W2936310910 @default.
• W2936310910 hasPrimaryLocation W29363109101 @default.
• W2936310910 hasRelatedWork W1502490119 @default.
• W2936310910 hasRelatedWork W1522025572 @default.
• W2936310910 hasRelatedWork W1792540887 @default.
• W2936310910 hasRelatedWork W1841757544 @default.
• W2936310910 hasRelatedWork W1856526373 @default.
• W2936310910 hasRelatedWork W1947384707 @default.
• W2936310910 hasRelatedWork W2158022828 @default.
• W2936310910 hasRelatedWork W2176664957 @default.
• W2936310910 hasRelatedWork W2301491978 @default.
• W2936310910 hasRelatedWork W2591909837 @default.
• W2936310910 hasRelatedWork W2617530178 @default.
• W2936310910 hasRelatedWork W2742869180 @default.
• W2936310910 hasRelatedWork W2921241419 @default.
• W2936310910 hasRelatedWork W2949562154 @default.
• W2936310910 hasRelatedWork W3093535394 @default.
• W2936310910 hasRelatedWork W3104417499 @default.
• W2936310910 hasRelatedWork W3162851699 @default.

• next