Graduate studies at Western
Studia Logica 95 (3):301 - 344 (2010)
|Abstract||After defining, for each many-sorted signature Σ = (S, Σ), the category Ter ( Σ ), of generalized terms for Σ (which is the dual of the Kleisli category for , the monad in Set S determined by the adjunction from Set S to Alg ( Σ ), the category of Σ -algebras), we assign, to a signature morphism d from Σ to Λ , the functor from Ter ( Σ ) to Ter ( Λ ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat . Next we prove that there is a functor Tr Σ , of realization of generalized terms as term operations, from Alg ( Σ ) × Ter ( Σ ) to Set , that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ , there exists a natural isomorphism θ d from the functor to the functor , both from the category Alg ( Λ ) × Ter ( Σ ) to the category Set , where d * is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat , that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.|
|Keywords||Many-sorted algebra generalized term Kleisli construction institution on a category|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Nguyen Cat Ho & Helena Rasiowa (1987). Semi-Post Algebras. Studia Logica 46 (2):149 - 160.
Juan B. Climent Vidal & Jesús Alcolea Banegas (1992). Instituciones y heterogeindad. Theoria 7 (1-2):65-85.
C. Cimadamore & J. P. Díaz Varela (2011). Monadic MV-Algebras Are Equivalent to Monadic ℓ-Groups with Strong Unit. Studia Logica 98 (1-2):175-201.
Daniel Găină & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41 - 73.
Robert Goldblatt (2006). Maps and Monads for Modal Frames. Studia Logica 83 (1-3):309 - 331.
Eric Hauser (2011). Generalization: A Practice of Situated Categorization in Talk. [REVIEW] Human Studies 34 (2):183-198.
Roberto Cignoli (2011). Boolean Skeletons of MV-Algebras and ℓ-Groups. Studia Logica 98 (1-2):141-147.
Daniel Gâinâ & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41 - 73.
J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93 - 124.
Sorry, there are not enough data points to plot this chart.
Added to index2010-07-26
Total downloads5 ( #170,048 of 722,947 )
Recent downloads (6 months)0
How can I increase my downloads?