Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104926677> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3104926677 endingPage "1633" @default.
- W3104926677 startingPage "1608" @default.
- W3104926677 abstract "Split opfibrations are functors equipped with a suitable choice of opcartesian lifts. The purpose of this paper is to characterise internal split opfibrations through separating the structure of a suitable choice of lifts from the property of these lifts being opcartesian. The underlying structure of an internal split opfibration is captured by an internal functor equipped with an internal cofunctor, while the property may be expressed as a pullback condition, akin to the simple condition on an internal functor to be an internal discrete opfibration. Furthermore, this approach provides two additional characterisations of internal split opfibrations, via the decalage construction and strict factorisation systems. For small categories, this theory clarifies several aspects of delta lenses which arise in computer science." @default.
- W3104926677 created "2020-11-23" @default.
- W3104926677 creator A5062597385 @default.
- W3104926677 date "2020-09-29" @default.
- W3104926677 modified "2023-09-23" @default.
- W3104926677 title "Internal split opfibrations and cofunctors" @default.
- W3104926677 hasPublicationYear "2020" @default.
- W3104926677 type Work @default.
- W3104926677 sameAs 3104926677 @default.
- W3104926677 citedByCount "2" @default.
- W3104926677 countsByYear W31049266772021 @default.
- W3104926677 crossrefType "journal-article" @default.
- W3104926677 hasAuthorship W3104926677A5062597385 @default.
- W3104926677 hasConcept C111472728 @default.
- W3104926677 hasConcept C114614502 @default.
- W3104926677 hasConcept C138885662 @default.
- W3104926677 hasConcept C156772000 @default.
- W3104926677 hasConcept C184720557 @default.
- W3104926677 hasConcept C189950617 @default.
- W3104926677 hasConcept C202444582 @default.
- W3104926677 hasConcept C2780586882 @default.
- W3104926677 hasConcept C33923547 @default.
- W3104926677 hasConcept C41008148 @default.
- W3104926677 hasConceptScore W3104926677C111472728 @default.
- W3104926677 hasConceptScore W3104926677C114614502 @default.
- W3104926677 hasConceptScore W3104926677C138885662 @default.
- W3104926677 hasConceptScore W3104926677C156772000 @default.
- W3104926677 hasConceptScore W3104926677C184720557 @default.
- W3104926677 hasConceptScore W3104926677C189950617 @default.
- W3104926677 hasConceptScore W3104926677C202444582 @default.
- W3104926677 hasConceptScore W3104926677C2780586882 @default.
- W3104926677 hasConceptScore W3104926677C33923547 @default.
- W3104926677 hasConceptScore W3104926677C41008148 @default.
- W3104926677 hasIssue "44" @default.
- W3104926677 hasLocation W31049266771 @default.
- W3104926677 hasOpenAccess W3104926677 @default.
- W3104926677 hasPrimaryLocation W31049266771 @default.
- W3104926677 hasRelatedWork W1028789687 @default.
- W3104926677 hasRelatedWork W1580381987 @default.
- W3104926677 hasRelatedWork W1586921917 @default.
- W3104926677 hasRelatedWork W163449627 @default.
- W3104926677 hasRelatedWork W1823681262 @default.
- W3104926677 hasRelatedWork W1998351225 @default.
- W3104926677 hasRelatedWork W2102919649 @default.
- W3104926677 hasRelatedWork W2118613486 @default.
- W3104926677 hasRelatedWork W2133073844 @default.
- W3104926677 hasRelatedWork W2288986295 @default.
- W3104926677 hasRelatedWork W2785326406 @default.
- W3104926677 hasRelatedWork W2887836968 @default.
- W3104926677 hasRelatedWork W2910644924 @default.
- W3104926677 hasRelatedWork W2952259559 @default.
- W3104926677 hasRelatedWork W2953612470 @default.
- W3104926677 hasRelatedWork W3015011644 @default.
- W3104926677 hasRelatedWork W3107625215 @default.
- W3104926677 hasRelatedWork W3122035833 @default.
- W3104926677 hasRelatedWork W3193824280 @default.
- W3104926677 hasRelatedWork W757966382 @default.
- W3104926677 hasVolume "35" @default.
- W3104926677 isParatext "false" @default.
- W3104926677 isRetracted "false" @default.
- W3104926677 magId "3104926677" @default.
- W3104926677 workType "article" @default.