Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	A logic of implications in algebra and coalgebra
Publication Date:	2007
Authors:	- Jirí Adámek - Manuela Sobral - Lurdes Sousa
Abstract:	Implications in a category can be presented as epimorphisms: an object satisfies the implication iff it is injective w.r.t. that epimorphism. G. Roçu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a finitary one (for epimorphisms with finitely presentable domains and codomains). In categories Alg \Sigma of algebras on a given signature our logic specializes to the implicational logic of R. Quackenbush. In categories Coalg H of coalgebras for a given accessible endofunctor H of sets we derive a logic for implications in the sense of P. Gumm.
Institution:	DMUC 07-15
Download:	Not available