REPRESENTATION THEORY AND RELATED TOPICS SEMINAR
ABSTRACT: Computing with
universal mathematical objects can be interpreted as
theorem proving. In this talk, we discuss the
constructiveness of free abelian categories. Using a very
concrete description of free abelian categories by Murray
Adelman, we demonstrate how to validate homological
lemmata like the Snake lemma or the five lemma
computationally.
For further information visit http://www.northeastern.edu/martsinkovsky/p/rtrt.html or contact Alex Martsinkovsky alexmart >at< neu >dot< edu for meeting number and password