Regular relations and bicartesian squares
نویسندگان
چکیده
منابع مشابه
Bicartesian Coherence Bicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest under...
متن کاملBicartesian Coherence Bicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest under...
متن کاملBicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When th...
متن کاملBicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When th...
متن کاملCoherent Bicartesian and Sesquicartesian Categories
Sesquicartesian categories are categories with nonempty finite products and arbitrary finite sums, including the empty sum. Coherence is here demonstrated for sesquicartesian categories in which the first and the second projection from the product of the initial object with itself are the same. (Set is such a category.) Coherence also holds for bicartesian categories where, in addition to this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1994
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90086-8