Categorical data-specifications.
Piessens, Frank, Steegmans, Eric (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Piessens, Frank, Steegmans, Eric (1995)
Theory and Applications of Categories [electronic only]
Similarity:
Johnson, Michael, Rosebrugh, Robert, Wood, R.J. (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Constantin Thiopoulos (1992)
Mathématiques et Sciences Humaines
Similarity:
The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...
Renato Betti, Marco Grandis (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Michael Barr (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Johnson, Mark W. (2010)
Theory and Applications of Categories [electronic only]
Similarity:
W. Więsław (1972)
Colloquium Mathematicae
Similarity:
Levy, Paul Blain (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Lauda, Aaron D. (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Marco Riccardi (2015)
Formalized Mathematics
Similarity:
The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...
Dundas, Bjørn Ian (2001)
Theory and Applications of Categories [electronic only]
Similarity: