Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/11299
Título: | A logic of implications in algebra and coalgebra | Autor: | Adámek, Jirí Sobral, Manuela Sousa, Lurdes |
Data: | 2007 | Editora: | Centro de Matemática da Universidade de Coimbra | Citação: | Pré-Publicações DMUC. 07-15 (2007) | Resumo: | 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. | URI: | https://hdl.handle.net/10316/11299 | Direitos: | openAccess |
Aparece nas coleções: | FCTUC Matemática - Vários |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
A logic of implications in algebra and coalgebra.pdf | 252.42 kB | Adobe PDF | Ver/Abrir |
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.