Acióly-Scott Interval Categories

Roberto Callejas-Bedregal, Benjamı́n René Callejas Bedregal
2004 Electronical Notes in Theoretical Computer Science  
In this work, from the category sight, we provide a generalization for the real interval theory. This generalization allows us to study generic properties of data which are "intervals" of another data, providing a categorical foundation of intervals as a parametric data type. In doing so we obtain some properties which holds for real intervals, complex intervals, interval vectors, interval matrices, and so on. For this purpose we introduce a categorical interval constructor on POSET based on
more » ... information order introduced by Dana Scott and used by Benedito Acióly to provide a computational foundation of interval mathematics. We study the categorical properties which this constructor satisfies in order to define the notion of Acióly-Scott interval category. We prove also that several subcategories of POSET are Acióly-Scott interval categories and we show also that the quasi-metric spaces category, which is important from a computational point of view and is not a subcategory of POSET, is an Acióly-Scott interval category.
doi:10.1016/j.entcs.2004.04.011 fatcat:spo5g536v5hgte7spd7krftbem