Andrej Bauer: Topološki prostor, ki je homeomorfen svojemu prostoru zveznih endomorfizmov

Opomba: Ker bo pri nas an obisku seminar za diskretno matematiko, začnemo že ob 10h, kot običajno.

Povzetek: Predstavil bom konstrukcijo (netrivialnega) topološkega prostora D_∞, ki je homeomorfen prostoru zveznih endofunkcij C(D_∞, D_∞), opremljenim s kompaktno-odprto topologijo. Tak prostor je prvi skonstruiral Dana Scott okoli leta 1969 in je bil prvi znani model za λ-račun brez tipov.

Vabljeni!