Skeletal maps and I-favorable spaces
Andrzej Kucharski, Szymon Plewik (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Andrzej Kucharski, Szymon Plewik (2010)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Sergei Logunov (2007)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
is non-normal for any metrizable crowded space and an arbitrary point .
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.
Clementino, M.M., Giuli, E., Tholen, W. (1996)
Portugaliae Mathematica
Similarity:
Logunov, Sergei (2002)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
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.
Ajoy Mukharjee (2013)
Publications de l'Institut Mathématique
Similarity:
Grainger, Arthur D. (2003)
International Journal of Mathematics and Mathematical Sciences
Similarity: