Data di Pubblicazione:
2009
Citazione:
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.
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.
Tipologia IRIS:
14 - Intervento a convegno non pubblicato
Elenco autori:
P. Codara, V. Marra
Link alla scheda completa: