Coalgebraic update lenses (Q283736)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

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

Statements

scholarly article

Coalgebraic update lenses (English)

publication date

13 May 2016

zbMATH Keywords

lenses

comonads

monads

coalgebras

algebras

bialgebras

distributive laws

liftings

monoid acts

directed containers

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1016/j.entcs.2014.10.003

Containers: Constructing strictly positive types

When is a container a comonad?

Update Monads: Cointerpreting Directed Containers

Adjoint functors and triples

Quotient lenses

Symmetric lenses

Categorical logic and type theory

Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers

Combining a monad and a comonad

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:283736

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q283736&oldid=37495366"