Order-enriched solid functors (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Order-enriched solid functors
Publication Date: 2018-12-28
Authors: - Lurdes Sousa
- Walter Tholen
Abstract: Order-enriched solid functors, as presented in this paper in two versions, enjoy many of the strong properties of their ordinary counterparts, including the transfer of the existence of weighted (co)limits from their codomains to their domains. The ordinary version of the notion first appeared in Trnková's work on automata theory of the 1970s and was subsequently studied by others under various names, before being put into a general enriched context by Anghel. Our focus in this paper is on differentiating the order-enriched notion from the ordinary one, mostly in terms of the functor's behaviour with respect to specific weighted (co)limits, and on the presentation of examples, which include functors of general varieties of ordered algebras and special ones, such as ordered vector spaces.
Institution: DMUC 18-58
Online version: http://www.mat.uc.pt...prints/eng_2018.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support