Zpět na vyhledávání

Bc. Vít Jelínek

Bachelor's thesis

Categorical View of Monads in Computer Science

Categorical View of Monads in Computer Science
Abstract:
V této práci se zabýváme monádami, pojmem z teorie kategorií. Věnujeme se jim jednak z pohledu matematiky, kdy ukazujeme různé matematické analogie, a také z pohledu teoretické informatiky, kdy ukazujeme, jak se pomocí monád dají modelovat různé výpočetní efekty. Následně představujeme Lawverovy teorie, které slouží pro kategoriální popis univerzální algebry, a vysvětlujeme, jak univerzální algebra …more
Abstract:
This thesis is devoted to monads, a notion from category theory. We present a mathematical point of view by showing various mathematical analogies as well as the perspective of computer science by showing how to model various computational effects via monads. Then, we introduce Lawvere theories that serve as a categorical description of universal algebra and explain how universal algebra connects to …more
 

Keywords

monáda výpočetní efekt adjunkce Lawverova teorie univerzální algebra monad computational effect adjunction Lawvere theory universal algebra
 
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2022
Identifier: https://is.muni.cz/th/t7wl3/

Thesis defence

  • Date of defence: 30. 6. 2022
  • Supervisor: RNDr. Petr Novotný, Ph.D.
  • Reader: doc. Mgr. Jan Obdržálek, PhD.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Mathematical Informatics

Theses on a related topic

List of theses with an identical keyword.