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.
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.
