Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	A logic of injectivity
Publication Date:	2006
Authors:	- Jirí Adámek - Michel Hébert - Lurdes Sousa
Abstract:	Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and homotopy theory; here we study the logic of consequences of H, by which we understand morphisms H implies injectivity with respect to h. We formulate three simple deduction rules for the injectivity logic and for its finitary version (where morphisms between finitely ranked objects are considered only), and prove that they are sound (in all categories) and complete (in all "reasonable" categories).
Institution:	DMUC 06-23
Download:	Not available