Séminaire Groupes, Représentations et Géométrie

salle 1016, 1er étage, Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris

Organisateurs : , , , , , , et .

Page répertoriée sur l'AdM à partir de et l'IMJ-PRG

Affiche du mois actuel   ( serrée   plus serrée   encore plus serrée)

Affichage rapide sans MathJax



Pas d'exposé communiqué pour le mois de septembre 2017.
Vendredi 6 octobre 2017 à 10h30

Su CHANGJIAN (Columbia University), On the K-theoretic stable basis of the Springer resolution.



Vendredi 13 octobre 2017 à 10h30

Sebastian GUTSCHE et Sebastian POSUR (Universität Siegen), Constructive category theory and applications.
[In this talk we explain the concept of constructive category theory and its implementation in our software project CAP - Categories, algorithms, programming. Furthermore, we show the benefits of CAP's framework for constructive category theory by demonstrating some applications to homological algebra: diagram chasing via generalized morphisms and computing the purity filtration via spectral sequences.
Note: On Tuesday, October 10, 11:00 - 12:30 in SG 2005, there will be a CAP tutorial. Abstract for the tutorial: CAP is a software project written in GAP that provides a categorical programming language and simplifies the implementation of categories on the computer. In this software tutorial we will learn how to implement computable categories by providing data structures for objects and morphisms as well as algorithms for the existential quantifiers in the defining axioms of a category. CAP provides a framework to organize such implementations and offers a vast set of generic algorithms in its ecosystem from which we can benefit once a category is implemented.
Finally, we will show how to write your own categorical algorithms using the categorical programming language defined by CAP.]



Contact :


Groupes, représentations et géométrie.
Dernière modification : le 18/09/2017

XHTML 1.0