Matches in SemOpenAlex for { <https://semopenalex.org/work/W3122384369> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3122384369 endingPage "1607" @default.
- W3122384369 startingPage "1576" @default.
- W3122384369 abstract "We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad. We also show that the existential completion of an elementary doctrine is again elementary. Finally we extend the notion of exact completion of an elementary existential doctrine to an arbitrary elementary doctrine." @default.
- W3122384369 created "2021-02-01" @default.
- W3122384369 creator A5074259281 @default.
- W3122384369 date "2020-09-25" @default.
- W3122384369 modified "2023-09-23" @default.
- W3122384369 title "The Existential Completion" @default.
- W3122384369 hasPublicationYear "2020" @default.
- W3122384369 type Work @default.
- W3122384369 sameAs 3122384369 @default.
- W3122384369 citedByCount "5" @default.
- W3122384369 countsByYear W31223843692021 @default.
- W3122384369 crossrefType "journal-article" @default.
- W3122384369 hasAuthorship W3122384369A5074259281 @default.
- W3122384369 hasConcept C111472728 @default.
- W3122384369 hasConcept C127882523 @default.
- W3122384369 hasConcept C136119220 @default.
- W3122384369 hasConcept C138885662 @default.
- W3122384369 hasConcept C156772000 @default.
- W3122384369 hasConcept C172252984 @default.
- W3122384369 hasConcept C202444582 @default.
- W3122384369 hasConcept C27206212 @default.
- W3122384369 hasConcept C2776211767 @default.
- W3122384369 hasConcept C33923547 @default.
- W3122384369 hasConcept C33959348 @default.
- W3122384369 hasConceptScore W3122384369C111472728 @default.
- W3122384369 hasConceptScore W3122384369C127882523 @default.
- W3122384369 hasConceptScore W3122384369C136119220 @default.
- W3122384369 hasConceptScore W3122384369C138885662 @default.
- W3122384369 hasConceptScore W3122384369C156772000 @default.
- W3122384369 hasConceptScore W3122384369C172252984 @default.
- W3122384369 hasConceptScore W3122384369C202444582 @default.
- W3122384369 hasConceptScore W3122384369C27206212 @default.
- W3122384369 hasConceptScore W3122384369C2776211767 @default.
- W3122384369 hasConceptScore W3122384369C33923547 @default.
- W3122384369 hasConceptScore W3122384369C33959348 @default.
- W3122384369 hasIssue "43" @default.
- W3122384369 hasLocation W31223843691 @default.
- W3122384369 hasOpenAccess W3122384369 @default.
- W3122384369 hasPrimaryLocation W31223843691 @default.
- W3122384369 hasRelatedWork W1580841068 @default.
- W3122384369 hasRelatedWork W1979407570 @default.
- W3122384369 hasRelatedWork W2064441356 @default.
- W3122384369 hasRelatedWork W2065468423 @default.
- W3122384369 hasRelatedWork W2099684400 @default.
- W3122384369 hasRelatedWork W2112726949 @default.
- W3122384369 hasRelatedWork W2166869969 @default.
- W3122384369 hasRelatedWork W2169721388 @default.
- W3122384369 hasRelatedWork W2355667979 @default.
- W3122384369 hasRelatedWork W2605746782 @default.
- W3122384369 hasRelatedWork W2742869180 @default.
- W3122384369 hasRelatedWork W2895700938 @default.
- W3122384369 hasRelatedWork W2896200016 @default.
- W3122384369 hasRelatedWork W2951177804 @default.
- W3122384369 hasRelatedWork W2964058903 @default.
- W3122384369 hasRelatedWork W2981355314 @default.
- W3122384369 hasRelatedWork W3029601918 @default.
- W3122384369 hasRelatedWork W3189726848 @default.
- W3122384369 hasRelatedWork W3192388587 @default.
- W3122384369 hasRelatedWork W3213474826 @default.
- W3122384369 hasVolume "35" @default.
- W3122384369 isParatext "false" @default.
- W3122384369 isRetracted "false" @default.
- W3122384369 magId "3122384369" @default.
- W3122384369 workType "article" @default.