We are interested in developing a theory of quotient objects (i.e. partitions) in sufficiently general categories related to non-classical propositional logics. Our objective, is to obtain a notion of partition for an image-finite poset P that (i) dualises subobjects in the category of profinite Heyting algebras and their complete homomorphisms, and (ii) can be directly described in terms of 'parts' of P, without reference to epic arrows in the category of image-finite posets and open maps.

Profinite Heyting algebras, and partitions of image-finite posets under open maps / P. Codara, V. Marra. ((Intervento presentato al convegno Topology, Algebra and Categories in Logic tenutosi a Amsterdam nel 2009.

Profinite Heyting algebras, and partitions of image-finite posets under open maps

P. Codara
Primo
;
V. Marra
Ultimo
2009-07

Abstract

We are interested in developing a theory of quotient objects (i.e. partitions) in sufficiently general categories related to non-classical propositional logics. Our objective, is to obtain a notion of partition for an image-finite poset P that (i) dualises subobjects in the category of profinite Heyting algebras and their complete homomorphisms, and (ii) can be directly described in terms of 'parts' of P, without reference to epic arrows in the category of image-finite posets and open maps.
Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
http://www.illc.uva.nl/tacl09/
Profinite Heyting algebras, and partitions of image-finite posets under open maps / P. Codara, V. Marra. ((Intervento presentato al convegno Topology, Algebra and Categories in Logic tenutosi a Amsterdam nel 2009.
Conference Object
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2434/169264
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact