<div dir="ltr"><div>皆様<br></div><div><br></div><div>今週木曜日に、京都大学にて藤井宗一郎さんのご講演があります。</div><div>詳細は以下のとおりです。どうぞお気軽にご参加ください。</div><div><br></div><div>京都大学数理解析研究所</div><div>照井一成</div><div><br></div><div>====================</div><div>Time:    11:00-12:00, 10 May, 2018</div><div>Place:    Rm 478, Research Building 2, Main Campus, Kyoto University</div><div>    京都大学 本部構内 総合研究2号館 4階478号室</div><div>    <a href="http://www.kyoto-u.ac.jp/en/access/yoshida/main.html">http://www.kyoto-u.ac.jp/en/access/yoshida/main.html</a> (Building 34)</div><div><br></div><div><br></div><div>Speaker: 藤井宗一郎 Soichiro Fujii (U Tokyo)</div><div><br></div><div>Title: A unified framework for notions of algebraic theory</div><div><br></div><div>Abstract:</div><div>Universal algebra uniformly captures various algebraic structures, by</div><div>expressing them as equational theories or (abstract) clones. The</div><div>ubiquity of algebraic structures in mathematics has also given rise to</div><div>several variants of universal algebra, such as symmetric and</div><div>non-symmetric operads, clubs, and monads. In this talk, I will present</div><div>a unified framework for these cousins of universal algebra, or notions</div><div>of algebraic theory.</div><div><br></div><div>First I will explain how each notion of algebraic theory can be</div><div>identified with a certain monoidal category, in such a way that</div><div>theories correspond to monoids. Then I will introduce a categorical</div><div>structure underlying the definition of models of theories. In specific</div><div>examples, it often arises in the form of oplax action or enrichment.</div><div>Finally I will uniformly characterize categories of models for various</div><div>notions of algebraic theory, by a double-categorical universal</div><div>property in the pseudo-double category of profunctors.</div><div><br></div></div>