Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100205881> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3100205881 abstract "Computational effects may often be interpreted in the Kleisli category of a monad or in the coKleisli category of a comonad. The duality between monads and comonads corresponds, in general, to a symmetry between construction and observation, for instance between raising an exception and looking up a state. Thanks to the properties of adjunction one may go one step further: the coKleisli-on-Kleisli category of a monad provides a kind of observation with respect to a given construction, while dually the Kleisli-on-coKleisli category of a comonad provides a kind of construction with respect to a given observation. In the previous examples this gives rise to catching an exception and updating a state. However, the interpretation of computational effects is usually based on a category which is not self-dual, like the category of sets. This leads to a breaking of the monad-comonad duality. For instance, in a distributive category the state effect has much better properties than the exception effect. This remark provides a novel point of view on the usual mechanism for handling exceptions. The aim of this paper is to build an equational semantics for handling exceptions based on the coKleisli-on-Kleisli category of the monad of exceptions. We focus on n-ary functions and conditionals. We propose a programmer's language for exceptions and we prove that it has the required behaviour with respect to n-ary functions and conditionals." @default.
- W3100205881 created "2020-11-23" @default.
- W3100205881 creator A5039984931 @default.
- W3100205881 creator A5046839127 @default.
- W3100205881 creator A5048888625 @default.
- W3100205881 date "2014-02-01" @default.
- W3100205881 modified "2023-10-10" @default.
- W3100205881 title "Breaking a monad-comonad symmetry between computational effects" @default.
- W3100205881 cites W129833001 @default.
- W3100205881 cites W1511070986 @default.
- W3100205881 cites W1516646744 @default.
- W3100205881 cites W1521014576 @default.
- W3100205881 cites W1538724214 @default.
- W3100205881 cites W1830421783 @default.
- W3100205881 cites W1997143185 @default.
- W3100205881 cites W2004740429 @default.
- W3100205881 cites W2037984920 @default.
- W3100205881 cites W2064138295 @default.
- W3100205881 cites W2101416179 @default.
- W3100205881 cites W2120713972 @default.
- W3100205881 cites W2141000465 @default.
- W3100205881 cites W2399700221 @default.
- W3100205881 cites W2616653754 @default.
- W3100205881 cites W429642261 @default.
- W3100205881 hasPublicationYear "2014" @default.
- W3100205881 type Work @default.
- W3100205881 sameAs 3100205881 @default.
- W3100205881 citedByCount "2" @default.
- W3100205881 countsByYear W31002058812015 @default.
- W3100205881 countsByYear W31002058812020 @default.
- W3100205881 crossrefType "report" @default.
- W3100205881 hasAuthorship W3100205881A5039984931 @default.
- W3100205881 hasAuthorship W3100205881A5046839127 @default.
- W3100205881 hasAuthorship W3100205881A5048888625 @default.
- W3100205881 hasBestOaLocation W31002058811 @default.
- W3100205881 hasConcept C156772000 @default.
- W3100205881 hasConcept C202444582 @default.
- W3100205881 hasConcept C2524010 @default.
- W3100205881 hasConcept C2779886137 @default.
- W3100205881 hasConcept C33923547 @default.
- W3100205881 hasConcept C33959348 @default.
- W3100205881 hasConceptScore W3100205881C156772000 @default.
- W3100205881 hasConceptScore W3100205881C202444582 @default.
- W3100205881 hasConceptScore W3100205881C2524010 @default.
- W3100205881 hasConceptScore W3100205881C2779886137 @default.
- W3100205881 hasConceptScore W3100205881C33923547 @default.
- W3100205881 hasConceptScore W3100205881C33959348 @default.
- W3100205881 hasLocation W31002058811 @default.
- W3100205881 hasLocation W31002058812 @default.
- W3100205881 hasLocation W31002058813 @default.
- W3100205881 hasOpenAccess W3100205881 @default.
- W3100205881 hasPrimaryLocation W31002058811 @default.
- W3100205881 hasRelatedWork W2030598511 @default.
- W3100205881 hasRelatedWork W2115785609 @default.
- W3100205881 hasRelatedWork W2754254730 @default.
- W3100205881 hasRelatedWork W2770491433 @default.
- W3100205881 hasRelatedWork W2964009287 @default.
- W3100205881 hasRelatedWork W3136039576 @default.
- W3100205881 hasRelatedWork W4226430568 @default.
- W3100205881 hasRelatedWork W4296959858 @default.
- W3100205881 hasRelatedWork W4313533159 @default.
- W3100205881 hasRelatedWork W99544092 @default.
- W3100205881 isParatext "false" @default.
- W3100205881 isRetracted "false" @default.
- W3100205881 magId "3100205881" @default.
- W3100205881 workType "report" @default.