Burak Ekici, “Computational Category Theory I & II”, 23 Şubat 2012, 01 Mart 2012

Bilgisayar Mühendisliği Bölümü Semineri:

	Başlık:	Computational Category Theory I
	Konuşmacı:	Burak Ekici
	Tarih:	23 Şubat 2012
	Saat:	16:00-17:00
	Yer:	Bilgisayar Ağları Laboratuvarı
	Sunum Dili:	İngilizce
	Başlık:	Computational Category Theory II
	Konuşmacı:	Burak Ekici
	Tarih:	01 Mart 2012
	Saat:	16:00-17:00
	Yer:	Bilgisayar Ağları Laboratuvarı
	Sunum Dili:	İngilizce

Category theory is a powerful abstract algebraic language and a conceptual framework that lets us visualize universal components of structures of given types and how those structures of different types are interrelated. In recent years, category theory has found new application areas like theoretical computer science and has contributed to developments of new logical systems, especially in the area of functional programming languages. In that sense, this talk aims to indicate the areas to which category theory brings alternative solution methods by increasing the number of abstraction layers together with the usage of its functors, natural transformations and monads varying from “purity of a functional programming language” to “semi-explicit parallelization in functional programming”.