Displaying similar documents to “The convergence approach to exponentiable maps.”

On binary coproducts of frames

Xiangdong Chen (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.

Strong remote points.

Logunov, Sergei (2002)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Traced premonoidal categories

Nick Benton, Martin Hyland (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.