Publication detail

Rendering Pipeline Modelled by Category Theory

HAVEL, J. HEROUT, A.

Original Title

Rendering Pipeline Modelled by Category Theory

English Title

Rendering Pipeline Modelled by Category Theory

Type

conference paper

Language

en

Original 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.

English 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

RIV year

2010

Released

13.12.2010

Publisher

University of West Bohemia in Pilsen

Location

Plzeň

ISBN

978-80-86943-85-5

Book

GraVisMa 2010 workshop proceedings

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

101

Pages to

105

Pages count

5

Documents

BibTex


@inproceedings{BUT35207,
  author="Jiří {Havel} and Adam {Herout}",
  title="Rendering Pipeline Modelled by Category Theory",
  annote="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.",
  address="University of West Bohemia in Pilsen",
  booktitle="GraVisMa 2010 workshop proceedings",
  chapter="35207",
  edition="NEUVEDEN",
  howpublished="print",
  institution="University of West Bohemia in Pilsen",
  year="2010",
  month="december",
  pages="101--105",
  publisher="University of West Bohemia in Pilsen",
  type="conference paper"
}