| Mohamed Bakarat |  |
 |
Date of the talk: 20 April 2012
Category theory and high level computer algebra
I will speak about a different facet of high level computer algebra in which bookkeeping of mathematical data structures and their complex interrelations becomes at least as crucial as designing efficient algorithms. Category theory is one of such mathematically well developed bookkeeping tools. My show case will be a computer realization of the Abelian category of coherent sheaves on a projective scheme and the computation of coherent sheaf cohomology.
