The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Page 1

Displaying 1 – 7 of 7

Showing per page

Object-Free Definition of Categories

Marco Riccardi (2013)

Formalized Mathematics

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:...

On the L -valued categories of L - E -ordered sets

Olga Grigorenko (2012)

Kybernetika

The aim of this paper is to construct an L -valued category whose objects are L - E -ordered sets. To reach the goal, first, we construct a category whose objects are L - E -ordered sets and morphisms are order-preserving mappings (in a fuzzy sense). For the morphisms of the category we define the degree to which each morphism is an order-preserving mapping and as a result we obtain an L -valued category. Further we investigate the properties of this category, namely, we observe some special objects, special...

Currently displaying 1 – 7 of 7

Page 1