29 search results - page 1 / 6 » Free Adjunction of Morphisms |
ACS
2000
13 years 5 months ago
2000
Abstract. We develop a general setting for the treatment of extensions of categories by means of freely adjoined morphisms. To this end, we study what we call composition graphs, i...
ACS
2010
13 years 5 months ago
2010
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are ch...
DMTCS
2007
13 years 5 months ago
2007
We define a morphism based upon a Latin square that generalizes the Thue-Morse morphism. We prove that fixed points of this morphism are overlap-free sequences, generalizing resu...
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
COLING
1990
13 years 6 months ago
1990
