Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43815
Title: KZ-monadic categories and their logic
Authors: Adámek, Jiří 
Sousa, Lurdes 
Issue Date: 2017
Publisher: Theory and Applications of Categories
Project: info:eu-repo/grantAgreement/FCT/5876/147205/PT 
Abstract: Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic for Kan-injectivity consequences and prove that in "reasonable" categories (such as Pos or Top_0) it is also complete for every set H of squares.
URI: http://hdl.handle.net/10316/43815
Rights: openAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat 
PaperAdamekSousa.pdf193.79 kBAdobe PDFView/Open
Show full item record

Page view(s) 20

559
checked on May 21, 2019

Download(s)

18
checked on May 21, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.