A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Acióly-Scott Interval Categories
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 ondoi:10.1016/j.entcs.2004.04.011 fatcat:spo5g536v5hgte7spd7krftbem