Publication Details

Rendering Pipeline Modelled by Category Theory

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.

Czech title

Zobrazovací pipeline modelovaná pomocí teorie kategorií

Type

conference paper

Language

english

Authors

Havel Jiří, Ing., Ph.D. (DCGM FIT BUT)
Herout Adam, prof. Ing., Ph.D. (DCGM FIT BUT)

Keywords

Rendering, Shaders, Category Theory

Abstract

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.

Published

2010

Pages

101-105

Proceedings

GraVisMa 2010 workshop proceedings

Conference

GraVisMa Computer Graphics, Computer Vision and Mathematics 2010, Brno, CZ

ISBN

978-80-86943-85-5

Publisher

University of West Bohemia in Pilsen

Place

Plzeň, CZ

BibTeX

@INPROCEEDINGS{FITPUB9424,
   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 = "https://www.fit.vut.cz/research/publication/9424"
}