NDLI: A 2-categorial Generalization of the Concept of Institution

Content Provider	Springer Nature Link
Author	Climent Vidal, J. Soliveres Tur, J.
Copyright Year	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 $${\mathbb {T}_{\bf \Sigma}}$$ , the monad in Set $^{S}$ determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set $^{S}$ to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ 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 $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$ , 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.
Starting Page	301
Ending Page	344
Page Count	44
File Format	PDF
ISSN	00393215
Journal	Studia Logica
Volume Number	95
Issue Number	3
e-ISSN	15728730
Language	English
Publisher	Springer Netherlands
Publisher Date	2010-06-27
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Many-sorted algebra generalized term Kleisli construction 2-institution on a category institution on a category Computational Linguistics Mathematical Logic and Foundations Logic
Content Type	Text
Resource Type	Article
Subject	Logic History and Philosophy of Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An Institution-Independent Proof of the Robinson Consistency Theorem

Infinitary Action Logic: Complexity, Models and Grammars

On Learnability of Restricted Classes of Categorial Grammars

Behavioral Algebraization of Logics

Algebra and Probability in Many-Valued Reasoning

Bilattices with Implications

Simultaneous Rigid Sorted Unification for Tableaux

A Geometrical Representation of the Basic Laws of Categorial Grammar

A Generalization of the Łukasiewicz Algebras

A 2-categorial Generalization of the Concept of Institution

Similar Documents

An Institution-Independent Proof of the Robinson Consistency Theorem

Infinitary Action Logic: Complexity, Models and Grammars

On Learnability of Restricted Classes of Categorial Grammars

Behavioral Algebraization of Logics

Algebra and Probability in Many-Valued Reasoning

Bilattices with Implications

Simultaneous Rigid Sorted Unification for Tableaux

A Geometrical Representation of the Basic Laws of Categorial Grammar

A Generalization of the Łukasiewicz Algebras

A 2-categorial Generalization of the Concept of Institution