Displaying similar documents to “Monomorphisms in the categories of connected algebraic systems with strong homomorphisms”

Categories of directed spaces

Krzysztof Ziemiański (2012)

Fundamenta Mathematicae

Similarity:

The main goal of the present paper is to unify two commonly used models of directed spaces: d-spaces and streams. To achieve this, we provide certain "goodness" conditions for d-spaces and streams. Then we prove that the categories of good d-spaces and good streams are isomorphic. Next, we prove that the category of good d-spaces is complete, cocomplete, and cartesian closed (assuming we restrict to compactly generated weak Hausdorff spaces). The category of good d-spaces is large enough...

Gaps and dualities in Heyting categories

Jaroslav Nešetřil, Aleš Pultr, Claude Tardif (2007)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We present an algebraic treatment of the correspondence of gaps and dualities in partial ordered classes induced by the morphism structures of certain categories which we call Heyting (such are for instance all cartesian closed categories, but there are other important examples). This allows to extend the results of [14] to a wide range of more general structures. Also, we introduce a notion of combined dualities and discuss the relation of their structure to that of the plain ones. ...

Paths in double categories.

Dawson, R. J. MacG., Paré, R., Pronk, D. A. (2006)

Theory and Applications of Categories [electronic only]

Similarity: