David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 95 (3):301 - 344 (2010)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Nguyen Cat Ho & Helena Rasiowa (1987). Semi-Post Algebras. Studia Logica 46 (2):149 - 160.
Daniel Gâinâ & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41-73.
Roberto Cignoli (2011). Boolean Skeletons of MV-Algebras and ℓ-Groups. Studia Logica 98 (1-2):141-147.
Eric Hauser (2011). Generalization: A Practice of Situated Categorization in Talk. [REVIEW] Human Studies 34 (2):183-198.
Robert Goldblatt (2006). Maps and Monads for Modal Frames. Studia Logica 83 (1-3):309 - 331.
Daniel Găină & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41-73.
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.
Juan B. Climent Vidal & Jesús Alcolea Banegas (1992). Instituciones y heterogeindad. Theoria 7 (1-2):65-85.
J. L. Castiglioni, M. Menni & M. Sagastume (2008). On Some Categories of Involutive Centered Residuated Lattices. Studia Logica 90 (1):93-124.
Added to index2010-07-26
Total downloads19 ( #196,754 of 1,907,355 )
Recent downloads (6 months)7 ( #108,771 of 1,907,355 )
How can I increase my downloads?