|
|
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. |
|
|