Generic Programming with Adjunctions

DOI10.1007/978-3-642-32202-0_2zbMath1374.68114MaRDI 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

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)