Results 1  10
of
39,028
Institution Morphisms
, 2001
"... Institutions formalize the intuitive notion of logical system, including syntax, semantics, and the relation of satisfaction between them. Our exposition emphasizes the natural way that institutions can support deduction on sentences, and inclusions of signatures, theories, etc.; it also introduces ..."
Abstract

Cited by 62 (16 self)
 Add to MetaCart
terminology to clearly distinguish several levels of generality of the institution concept. A surprising number of different notions of morphism have been suggested for forming categories with institutions as objects, and an amazing variety of names have been proposed for them. One goal of this paper
Morphisms in context
 Conceptual Structures: Common Semantics for Sharing Knowledge, Proceedings of ICCS 2005, Springer LNAI 3596 (2005
"... Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms can be used for the study of structural properties of knowledge represented in formal contexts, with applications to da ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms can be used for the study of structural properties of knowledge represented in formal contexts, with applications
Computational LambdaCalculus and Monads
, 1988
"... The calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with terms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification 1 is introduced, that may jeopardise the ..."
Abstract

Cited by 505 (7 self)
 Add to MetaCart
The calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with terms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification 1 is introduced, that may jeopardise
Stacks of Anncategories and their morphisms
, 2015
"... We show that anncategories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two anncategories is equivalent to that of bimodule butterflies ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We show that anncategories admit a presentation by crossed bimodules, and prove that morphisms between them can be expressed by special kinds spans between the presentations. More precisely, we prove the groupoid of morphisms between two anncategories is equivalent to that of bimodule butterflies
MODEL MORPHISMS.................................................................................................................................. 14
"... This paper seeks to develop a rigorous categorical model theory for firstorder ontological languages by using the principles and techniques of Information Flow and Formal Concept Analysis. Ontological languages represent ontologies and the terminologies of description logic. 1. REVIEW.............. ..."
Abstract
 Add to MetaCart
This paper seeks to develop a rigorous categorical model theory for firstorder ontological languages by using the principles and techniques of Information Flow and Formal Concept Analysis. Ontological languages represent ontologies and the terminologies of description logic. 1. REVIEW
More on Geometric Morphisms between
, 2014
"... Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the computationally dense ones) are seen to be the ones whose ‘lifts ’ to a kind of completion have right adjoints. We charac ..."
Abstract
 Add to MetaCart
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the computationally dense ones) are seen to be the ones whose ‘lifts ’ to a kind of completion have right adjoints. We
Homological Algebra of Mirror Symmetry
 in Proceedings of the International Congress of Mathematicians
, 1994
"... Mirror Symmetry was discovered several years ago in string theory as a duality between families of 3dimensional CalabiYau manifolds (more precisely, complex algebraic manifolds possessing holomorphic volume elements without zeroes). The name comes from the symmetry among Hodge numbers. For dual Ca ..."
Abstract

Cited by 529 (3 self)
 Add to MetaCart
CalabiYau manifolds V, W of dimension n (not necessarily equal to 3) one has dim H p (V, Ω q) = dim H n−p (W, Ω q). Physicists conjectured that conformal field theories associated with mirror varieties are equivalent. Mathematically, MS is considered now as a relation between numbers of rational curves
MORE ON MORPHISMS Contents
"... 3. First order infinitesimal neighbourhood 3 4. Formally unramified morphisms 4 ..."
Abstract
 Add to MetaCart
3. First order infinitesimal neighbourhood 3 4. Formally unramified morphisms 4
MORE ON MORPHISMS Contents
"... 3. First order infinitesimal neighbourhood 3 4. Formally unramified morphisms 4 ..."
Abstract
 Add to MetaCart
3. First order infinitesimal neighbourhood 3 4. Formally unramified morphisms 4
Results 1  10
of
39,028