Categories and Logic

[jean-yves beziau]

Publicado ha pouco os detalhos do Workshop Categories and Logic 

http://www.uni-log.org/wk6-logic-and-categories.html

workshop do UNILOG'2018 organizado por Peter Arndt

um dos keynote speakers é Pierre Cartier

que foi o leader de segunda geração de Bourbaki,

aluno do André Weil e  amigo do Grothendieck

Bom anotar tambéem que na escola vai ter o tutorial da  Olivia Caramello

The Theory of Topos-Theoretic ‘bridges’: an Introduction

http://www.uni-log.org/ULS6

Amigos e simpatizantes do General Abstract Nonsense, bemvindos !

JYB