BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Sebastian Posur (Munster University\, Germany)
DTSTART:20220215T170000Z
DTEND:20220215T180000Z
DTSTAMP:20260423T035913Z
UID:ONCAS/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/ONCAS/13/">O
 n free abelian categories for theorem proving</a>\nby Sebastian Posur (Mun
 ster University\, Germany) as part of ONCAS Online Noncommutative Algebra 
 Seminar\n\n\nAbstract\nComputing explicitly within a free mathematical obj
 ect can be interpreted as theorem proving. In this talk\, we discuss the c
 onstructiveness of free abelian categories. A very concrete description of
  free abelian categories was given by Murray Adelman\, and we demonstrate 
 how his description can be employed to validate homological lemmata like t
 he Snake lemma computationally.\n
LOCATION:https://researchseminars.org/talk/ONCAS/13/
END:VEVENT
END:VCALENDAR