Displaying similar documents to “Functorial Models of Spatio-Temporal Landscape Field of the Earth: Methods of Comparative-Geographical Studies Based on Data of Remote Sensing”

Towards a logic of semiotic systems

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

Models of sketches

Michael Barr (1986)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Categorical Pullbacks

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