Category theory for computing science

MaRDI QIDQ2919784zbMATH OpenFDO

Authors Michael Barr, Charles Wells

Publication date 22 October 2012

Published in Reprints in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.emis.de/journals/TAC/reprints/articles/22/tr22abs.html

zbMATH Keywords

2-categoriesautonomous categoriesdistributive categoriesfibrationsmonoidal catagoriessketchestoposes

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 46995
• scientific article; zbMATH DE number 193170
• Theoretical computer science for the working category theorist
• scientific article; zbMATH DE number 803303
• scientific article; zbMATH DE number 6377175
• Category Theory
• Applications of category theory in symbolic computation
• scientific article; zbMATH DE number 3999306
• Category Theory
• Applications of category theory to the area of algebraic specification in computer science

Cited in

(11)

• Lawvere theories enriched over a general base
• scientific article; zbMATH DE number 6377175 (Why is no real title available?)
• Equational properties of fixed point operations in Cartesian categories: an overview
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• scientific article; zbMATH DE number 139765 (Why is no real title available?)
• scientific article; zbMATH DE number 3999258 (Why is no real title available?)
• Applied Category Theory in Chemistry, Computing, and Social Networks
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Proving semantical equivalence of data specifications
• Płonka adjunction
• Lallement functor is a weak right multiadjoint

This page was built for publication: Category theory for computing science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2919784)