Linear Algebra Seminar

Title: The Category Hask, with Examples

Presenter: Zachary Sarver

Abstract: The Haskell programming language is a computer language which strives for mathematical elegance in its design. As such, it is a language growing in popularity for mathematical software. Most of the constructions in Haskell are in fact category theoretic constructions in the category Hask. This talk examines the categorical nature of the language. The existence of finite coproducts in Hask is proved, and detailed examples of functors and natural transformations are given.