“Notions of implicative assemblies”
Giovedì 24 Aprile 2025, ore 15:00 - Sala Riunioni 7B1 - Samuele Maschio (Università di Padova)
Abstract
We will show how to generalize some categorical constructions which naturally arise in the context of realizability, and in particular in Hyland’s Effective Topos, involving assemblies, partitioned assemblies and modest sets, to the more general case of Miquel’s implicative algebras.
This talk in based on joint work with D. Trotta in [1].
[1] S. Maschio. D. Trotta. On categorical structures arising from implicative algebras: from topology to assemblies. Annals of Pure and Applied Logic vol. 175 (3), 2024.
