Autor(es):
Adámek, Jirí 
; Sobral, Manuela ; Sousa, Lurdes
Data: 2007
Identificador Persistente: http://hdl.handle.net/10316/11299
Origem: Estudo Geral - Universidade de Coimbra
Detalhes do Documento
A logic of implications in algebra and coalgebra
Descrição
Implications in a category can be presented as epimorphisms: an ob- ject satis¯es the implication i® it is injective w.r.t. that epimorphism. G. Ro»cu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a ¯nitary one (for epimor- phisms with ¯nitely presentable domains and codomains). In categories Alg § 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. Centre for Mathematics of University of Coim- bra/FCT; International Center for Mathematics; Ministry of Education of the Czech Republic, Project MSM 6840770014; School of Technology of Viseu
Implications in a category can be presented as epimorphisms: an ob- ject satis¯es the implication i® it is injective w.r.t. that epimorphism. G. Ro»cu formulated a logic for deriving an implication from other implications. We present two versions of implicational logics: a general one and a ¯nitary one (for epimor- phisms with ¯nitely presentable domains and codomains). In categories Alg § 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. Centre for Mathematics of University of Coim- bra/FCT; International Center for Mathematics; Ministry of Education of the Czech Republic, Project MSM 6840770014; School of Technology of Viseu
Tipo de Documento
Preprint
Idioma Inglês
Idioma Inglês
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||