Prof. Ing. Adam Herout, Ph.D.

HAVEL Jiří and HEROUT Adam. Rendering Pipeline Modelled by Category Theory. In: GraVisMa 2010 workshop proceedings. Plzeň: University of West Bohemia in Pilsen, 2010, pp. 101-105. ISBN 978-80-86943-85-5.
Publication language:english
Original title:Rendering Pipeline Modelled by Category Theory
Title (cs):Zobrazovací pipeline modelovaná pomocí teorie kategorií
Proceedings:GraVisMa 2010 workshop proceedings
Conference:GraVisMa Computer Graphics, Computer Vision and Mathematics 2010
Place:Plzeň, CZ
Publisher:University of West Bohemia in Pilsen
Rendering, Shaders, Category Theory
This paper describes basic concepts from category theory, which are commonly used in functional programming. These concepts
are applied to shader programming and to the rendering pipeline and the whole rendering pipeline is formally modelled using category theory. This model can be used for more abstract and formal approach to shader programming. Mathematical formalization of the rendering pipeline and its stages can be helpful in shader compiler design, for proving algorithms, complexity analysis, and other tasks.
   author = {Ji{\v{r}}{\'{i}} Havel and Adam Herout},
   title = {Rendering Pipeline Modelled by Category Theory},
   pages = {101--105},
   booktitle = {GraVisMa 2010 workshop proceedings},
   year = 2010,
   location = {Plze{\v{n}}, CZ},
   publisher = {University of West Bohemia in Pilsen},
   ISBN = {978-80-86943-85-5},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https