Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Well quasi orders in a categorical setting

Well quasi orders in a categorical setting This article describes well quasi orders as a category, focusing on limits and colimits. In particular, while quasi orders with monotone maps form a category which is finitely complete, finitely cocomplete, and with exponentiation, the full subcategory of well quasi orders is finitely complete and cocomplete, but with no exponentiation. It is interesting to notice how finite antichains and finite proper descending chains interact to induce this structure in the category: in fact, the full subcategory of quasi orders with finite antichains has finite colimits but no products, while the full subcategory of well founded quasi orders has finite limits but no coequalisers. Moreover, the article characterises when exponential objects exist in the category of well quasi orders and well founded quasi orders. This completes the systematic description of the fundamental constructions in the categories of quasi orders, well founded quasi orders, quasi orders with finite antichains, and well quasi orders. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Well quasi orders in a categorical setting

Loading next page...
 
/lp/springer-journals/well-quasi-orders-in-a-categorical-setting-67FkDjsItq

References (17)

Publisher
Springer Journals
Copyright
Copyright © 2018 by Springer-Verlag GmbH Germany, part of Springer Nature
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-018-0649-9
Publisher site
See Article on Publisher Site

Abstract

This article describes well quasi orders as a category, focusing on limits and colimits. In particular, while quasi orders with monotone maps form a category which is finitely complete, finitely cocomplete, and with exponentiation, the full subcategory of well quasi orders is finitely complete and cocomplete, but with no exponentiation. It is interesting to notice how finite antichains and finite proper descending chains interact to induce this structure in the category: in fact, the full subcategory of quasi orders with finite antichains has finite colimits but no products, while the full subcategory of well founded quasi orders has finite limits but no coequalisers. Moreover, the article characterises when exponential objects exist in the category of well quasi orders and well founded quasi orders. This completes the systematic description of the fundamental constructions in the categories of quasi orders, well founded quasi orders, quasi orders with finite antichains, and well quasi orders.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Oct 26, 2018

There are no references for this article.