Vendredi 11 Avril


Retour à la vue des calendrier
Vendredi 11 Avril
Heure: 10:00 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Hypercoherence Spaces form a double-glued Category
Description: Hugh Steele Ehrhard's Hypercoherence Spaces proved a useful medium through which to
study strongly stable semantics. The category of hypercoherence spaces
(HypCoh) has also been shown to be the bedrock of one of the very few
fully complete models of unit-free multiplicative additive linear logic,
satisfying Joyal's softness condition. Much like in the category of
coherence spaces (Coh), an object of HypCoh is a set equipped with a
collection of its subsets, with morphisms being relations respecting
restrictions set by these `cliques'. However, unlike Coh, HypCoh has not
been formalised as a true double-glued category.

In this talk I show that HypCoh is indeed such a category (if you're
willing to bend the rules a little!). We also see how far the spirit of
the glueing construction may be generalised to produce categories with
similar properties.