A seminar talk presented at the Programming Languages Seminar.

Abstract

Inductive data types have become an important tool in functional programming and in particular in the design of programming languages as they are used to define the type of terms in the sought language. Initial Algebra Semantics characterizes the set of terms, using the framework of Category Theory, as initial objects in specific categories, those of F-algebras. In this talk, we first introduce the necessairy background of Category Theory. Then, we work our way up to the general framework of F-algebras guided by examples.