Sober spaces and continuations.

Taylor, Paul

Displaying similar documents to “Sober spaces and continuations.”

Subspaces in abstract Stone duality.

Taylor, Paul (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Geometric and higher order logic in terms of abstract Stone duality.

Taylor, Paul (2000)

Theory and Applications of Categories [electronic only]

Similarity:

Upsetting the foundations for mathematics

Lawrence Neff Stout (2005)

Philosophia Scientiae

Similarity:

Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.

Indexed categories for program development

B. Hilken, D. E. Rydeheard (1991)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Towards a logic of semiotic systems

Constantin Thiopoulos (1992)

Mathématiques et Sciences Humaines

Similarity:

The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...