Result Details

Rendering Pipeline Modelled by Category Theory

HAVEL, J.; HEROUT, A. Rendering Pipeline Modelled by Category Theory. GraVisMa 2010 workshop proceedings. Plzeň: University of West Bohemia in Pilsen, 2010. p. 101-105. ISBN: 978-80-86943-85-5.
Type
conference paper
Language
English
Authors
Havel Jiří, Ing., Ph.D., DIFS (FIT), DCGM (FIT)
Herout Adam, prof. Ing., Ph.D., DIFS (FIT), DCGM (FIT)
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.

Keywords

Rendering, Shaders, Category Theory

Published
2010
Pages
101–105
Proceedings
GraVisMa 2010 workshop proceedings
Conference
GraVisMa Computer Graphics, Computer Vision and Mathematics 2010
ISBN
978-80-86943-85-5
Publisher
University of West Bohemia in Pilsen
Place
Plzeň
BibTeX 
@inproceedings{BUT35207,
  author="Jiří {Havel} and Adam {Herout}",
  title="Rendering Pipeline Modelled by Category Theory",
  booktitle="GraVisMa 2010 workshop proceedings",
  year="2010",
  pages="101--105",
  publisher="University of West Bohemia in Pilsen",
  address="Plzeň",
  isbn="978-80-86943-85-5"
}
Projects
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Computer Graphics Research Group (RG GRAPH)
Departments
Department of Computer Graphics and Multimedia (DCGM)
Back to top