Coalgebraic update lenses (Q283736): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Containers: Constructing strictly positive types / rank
 
Normal rank
Property / cites work
 
Property / cites work: When is a container a comonad? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Update Monads: Cointerpreting Directed Containers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3682648 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5579535 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjoint functors and triples / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quotient lenses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Edit lenses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetric lenses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical logic and type theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4929408 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining a monad and a comonad / rank
 
Normal rank

Revision as of 23:26, 11 July 2024

scientific article
Language Label Description Also known as
English
Coalgebraic update lenses
scientific article

    Statements

    Coalgebraic update lenses (English)
    0 references
    0 references
    0 references
    13 May 2016
    0 references
    lenses
    0 references
    comonads
    0 references
    monads
    0 references
    coalgebras
    0 references
    algebras
    0 references
    bialgebras
    0 references
    distributive laws
    0 references
    liftings
    0 references
    monoid acts
    0 references
    directed containers
    0 references

    Identifiers