Generic Programming with Adjunctions

DOI10.1007/978-3-642-32202-0_2zbMath1374.68114OpenAlexW1917840418MaRDI QIDQ4649379

Ralf Hinze

Publication date: 21 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32202-0_2

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Fantastic morphisms and where to find them. A guide to recursion schemes ⋮ A Duality of Sorts

This page was built for publication: Generic Programming with Adjunctions