A Logic of Injectivity

Simple item page
dc.creatorAdamek, J.
dc.creatorHebert, M.
dc.creatorSouza, L.
dc.date2007-09-16
dc.date.accessioned2026-07-07T08:29:52Z
dc.date.available2026-07-07T08:29:52Z
dc.descriptionInjectivity of objects with respect to a set $\ch$ of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequences of $\ch$, by which we understand morphisms $h$ such that injectivity with respect to $\ch$ implies injectivity with respect to $h$. We formulate three simple deduction rules for the injectivity logic and for its finitary version where \mor s between finitely ranked objects are considered only, and prove that they are sound in all categories, and complete in all "reasonable" categories.
dc.descriptionTo be published in "Journal of Homotopy and Related Structures"
dc.identifierhttps://arxiv.org/abs/0709.2461
dc.identifierhttp://arxiv.org/abs/0709.2461
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/138094
dc.subjectCategory Theory
dc.titleA Logic of Injectivity
dc.typetext

Files

Collections

arXiv