Sacha Ikonicoff

Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshopss have been held at BIRS, Colgate University, Dalhousie University, Mount Allison...

Divided power algebras were defined by H. Cartan in 1954 to study the homology of Eilenberg-MacLane spaces. They are commutative algebras endowed, for each integer n, with an additional monomial operation. Over a field of characteristic 0, this...

Cartesian Differential Categories are defined to introduce and study the notion of differential from calculus in a category theory point of view. In a Cartesian Differential Category, morphisms between objects can be « derived », and this...

Quillen-Barr-Beck (co)homology is a theory which studies the objects of a category where we can make sense of such notions as “modules” and “derivations”. More precisely, in his thesis, Beck defined a general notion of modules and derivations in a...