Towards a homotopy domain theory

An appropriate framework is put forward for the construction of λ -models with ∞ -groupoid structure, which we call homotopic λ -models , through the use of an ∞ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Archive for mathematical logic 2023-05, Vol.62 (3-4), p.559-579
Hauptverfasser:	Martínez-Rivillas, Daniel O., de Queiroz, Ruy J. G. B.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Cartesian coordinates Domains Mathematical Logic and Foundations Mathematics Mathematics and Statistics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!