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. BucaloPrimo
;
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.
Pubblicazioni consigliate
I metadati presenti in AIR sono rilasciati con licenza CCO mentre i file delle pubblicazioni sono rilasciati con licenza CC BY-SA, salvo diversa indicazione. In caso di violazione di copyright, contattare l'assistenza di AIR
