Page 1

Displaying 1 – 16 of 16

Showing per page

Natural sinks on Y β

J. Schröder (1992)

Commentationes Mathematicae Universitatis Carolinae

Let ( e β : 𝐐 Y β ) β Ord be the large source of epimorphisms in the category Ury of Urysohn spaces constructed in [2]. A sink ( g β : Y β X ) β Ord is called natural, if g β e β = g β ' e β ' for all β , β ' Ord . In this paper natural sinks are characterized. As a result it is shown that Ury permits no ( E p i , ) -factorization structure for arbitrary (large) sources.

Natural weak factorization systems

Marco Grandis, Walter Tholen (2006)

Archivum Mathematicum

In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category 𝒦 is introduced, as a pair (comonad, monad) over 𝒦 2 . The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories.

Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T

Anne Preller, P. Duroux (2010)

RAIRO - Theoretical Informatics and Applications

Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.

Note on dense covers in the category of locales

Jan Paseka (1994)

Commentationes Mathematicae Universitatis Carolinae

In this note we are going to study dense covers in the category of locales. We shall show that any product of finitely regular locales with some dense covering property has this property as well.

Currently displaying 1 – 16 of 16

Page 1