Одељење за математику, 16. јануар 2015.

• 16. Јануар, 2015
• Коментари (0)

Наредни састанак Одељења за математику биће одржан као заједнички састанак са Семинаром за логику у петак, 16. јануара 2015. у сали 301ф Математичког института САНУ са почетком у 14 часова.

Предавач: Pierre-Louis Curien, Universite Paris Diderot, Француска

Наслов предавања: A LANGUAGE FOR WIRINGS OF VARIOUS TYPES OF OPERADS

Садржај: In my work with Hugo Herbelin, and then with my student Guillaume Munch, we explored term syntaxes for sequent calculus (a formalism for writing formal proofs proposed by Gentzen in the 1930s). I recently found out that the same style of syntax allows for a neat programming-language style description of the wiring structures underlying operads, cooperads, dioperads, cyclic operads and possibly more types of operad-like structures, that have popped up in topology, geometry, and mathematical physics. The talk will introduce our language and take this occasion to revisit the various definitions of these notions as found in the literature, pointing out why they are equivalent (a task usually considered easy and left to the reader, but whose careful examination is not a luxury).

ПЛАН РАДА ЗА ЈАНУАР 2015.