A logic of injectivity

MaRDI QIDQ847545zbMATH OpenFDO

Authors Jiří Adámek, Lurdes Sousa, Michel Hébert

Publication date 17 February 2010

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0709.2461, https://eudml.org/doc/223445, http://www.emis.de/journals/JHRS/volumes/2007/n2a4/abstract.htm

zbMATH Keywords

injectivitysmall object argumentdeduction ruleslocally presentable categorieslogic of injectivitystrongly locally ranked categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Accessible and locally presentable categories (18C35) Foundations, relations to logic and deductive systems (18A15)

Abstract: Injectivity 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.

Recommendations

• More on injectivity in locally presentable categories
• A logic of orthogonality.
• scientific article; zbMATH DE number 3961923
• Algebra in a category: injectivity in equational classes
• On quasi-equations in locally presentable categories. II: A logic

Cited in

(5)

• An equivalence criterion for the generalized injectivity of modules with respect to algebraic classes of homomorphisms
• Approximate injectivity and smallness in metric-enriched categories
• Tests for injectivity in finitely generated universal Horn classes
• A logic of orthogonality.
• Algebra in a category: injectivity in equational classes

This page was built for publication: A logic of injectivity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847545)