The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two properties:...
Primary and secondary functors have been introduced in [2] and applied to extend some results concerning asymptotic prime ideals. In this paper, the theory of primary and secondary functors is developed and examples of non-exact primary and non-exact secondary functors are presented. Also, as an application, the sets of associated and of attached prime ideals of certain modules are determined.
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.
We discuss dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with another rendering of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for ``direct'' Ramsey results, for each class of structures under consideration we propose a special class of quotient maps and prove a dual Ramsey theorem...
Currently displaying 1 –
20 of
78