Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891718318> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2891718318 abstract "Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of symmetric monoidal categories to itself. We also show that this construction enjoys a universal property: it freely adds counit morphisms to a symmetric monoidal category. Missing in the folklore is a general definition of 'lawfulness' that applies directly to any optic category. We provide such a definition and show that it is equivalent to the folklore profunctor optic laws." @default.
- W2891718318 created "2018-09-27" @default.
- W2891718318 creator A5033114559 @default.
- W2891718318 date "2018-09-03" @default.
- W2891718318 modified "2023-09-27" @default.
- W2891718318 title "Categories of Optics" @default.
- W2891718318 cites W1572231946 @default.
- W2891718318 cites W1997143185 @default.
- W2891718318 cites W2000616678 @default.
- W2891718318 cites W2017778827 @default.
- W2891718318 cites W2101416179 @default.
- W2891718318 cites W2101433240 @default.
- W2891718318 cites W2102357532 @default.
- W2891718318 cites W2150276232 @default.
- W2891718318 cites W2402622529 @default.
- W2891718318 cites W2482810752 @default.
- W2891718318 cites W2884227110 @default.
- W2891718318 cites W2963683507 @default.
- W2891718318 cites W2964300838 @default.
- W2891718318 cites W429642261 @default.
- W2891718318 cites W55378818 @default.
- W2891718318 hasPublicationYear "2018" @default.
- W2891718318 type Work @default.
- W2891718318 sameAs 2891718318 @default.
- W2891718318 citedByCount "9" @default.
- W2891718318 countsByYear W28917183182019 @default.
- W2891718318 countsByYear W28917183182020 @default.
- W2891718318 countsByYear W28917183182021 @default.
- W2891718318 crossrefType "posted-content" @default.
- W2891718318 hasAuthorship W2891718318A5033114559 @default.
- W2891718318 hasConcept C105297191 @default.
- W2891718318 hasConcept C111472728 @default.
- W2891718318 hasConcept C124952713 @default.
- W2891718318 hasConcept C136119220 @default.
- W2891718318 hasConcept C137212723 @default.
- W2891718318 hasConcept C138885662 @default.
- W2891718318 hasConcept C142362112 @default.
- W2891718318 hasConcept C156163052 @default.
- W2891718318 hasConcept C156772000 @default.
- W2891718318 hasConcept C189950617 @default.
- W2891718318 hasConcept C202444582 @default.
- W2891718318 hasConcept C33923547 @default.
- W2891718318 hasConcept C41008148 @default.
- W2891718318 hasConceptScore W2891718318C105297191 @default.
- W2891718318 hasConceptScore W2891718318C111472728 @default.
- W2891718318 hasConceptScore W2891718318C124952713 @default.
- W2891718318 hasConceptScore W2891718318C136119220 @default.
- W2891718318 hasConceptScore W2891718318C137212723 @default.
- W2891718318 hasConceptScore W2891718318C138885662 @default.
- W2891718318 hasConceptScore W2891718318C142362112 @default.
- W2891718318 hasConceptScore W2891718318C156163052 @default.
- W2891718318 hasConceptScore W2891718318C156772000 @default.
- W2891718318 hasConceptScore W2891718318C189950617 @default.
- W2891718318 hasConceptScore W2891718318C202444582 @default.
- W2891718318 hasConceptScore W2891718318C33923547 @default.
- W2891718318 hasConceptScore W2891718318C41008148 @default.
- W2891718318 hasLocation W28917183181 @default.
- W2891718318 hasOpenAccess W2891718318 @default.
- W2891718318 hasPrimaryLocation W28917183181 @default.
- W2891718318 hasRelatedWork W188752196 @default.
- W2891718318 hasRelatedWork W2020697700 @default.
- W2891718318 hasRelatedWork W2038202577 @default.
- W2891718318 hasRelatedWork W2038364868 @default.
- W2891718318 hasRelatedWork W2279823847 @default.
- W2891718318 hasRelatedWork W2288880934 @default.
- W2891718318 hasRelatedWork W2488035445 @default.
- W2891718318 hasRelatedWork W2507045798 @default.
- W2891718318 hasRelatedWork W2518814599 @default.
- W2891718318 hasRelatedWork W2559918060 @default.
- W2891718318 hasRelatedWork W2795378980 @default.
- W2891718318 hasRelatedWork W2809155339 @default.
- W2891718318 hasRelatedWork W2891591078 @default.
- W2891718318 hasRelatedWork W2954487731 @default.
- W2891718318 hasRelatedWork W2963810482 @default.
- W2891718318 hasRelatedWork W2964300838 @default.
- W2891718318 hasRelatedWork W2990129438 @default.
- W2891718318 hasRelatedWork W2995772018 @default.
- W2891718318 hasRelatedWork W2998447709 @default.
- W2891718318 hasRelatedWork W87152114 @default.
- W2891718318 isParatext "false" @default.
- W2891718318 isRetracted "false" @default.
- W2891718318 magId "2891718318" @default.
- W2891718318 workType "article" @default.