The constructive approach taken to topology from the point of view of type theory brings to light a presentation of topological spaces which exploits another monoidal structure on the category of complete sup-lattices from that given by Galois connections. In this modified context, we characterize tha frames which are topologies.

Spaces as comonoids / A. Bucalo, G. Rosolini - In: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics / L. Crosilla, P. Schuster. - Oxford : Oxford University Press, 2005. - ISBN 0198566514. - pp. 193-201

Spaces as comonoids

A. Bucalo
Primo
;
2005

Abstract

The constructive approach taken to topology from the point of view of type theory brings to light a presentation of topological spaces which exploits another monoidal structure on the category of complete sup-lattices from that given by Galois connections. In this modified context, we characterize tha frames which are topologies.
Settore INF/01 - Informatica
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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: https://hdl.handle.net/2434/12151
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact