The idea that vagueness has its origin in indiscernibility is not new. In this paper, we have tried to establish this thesis on a category-theoretic basis. In the process some other related notions, e.g. property, have been clarified. © 2003 Published by Elsevier Science B.V.

M BANERJEE

M K CHAKRABORTY

Fulltext

University of Calcutta (informally known as Calcutta University or CU) is a collegiate public state university located in Kolkata, West Bengal, India.&nbsp;Within India it is recognized as a &quot;Five-Star University&quot; and accredited &quot;A&quot; Grade by National Assessment and Accreditation Council.

&nbsp;

The University of Calcutta has secured the Fifth position among the Universities of India in the prestigious &quot;Indian University Ranking 2019&quot; list, released by the NIRF of the Ministry of Human Resource Development, Government of India.

&nbsp;

It was established on 24 January 1857, and was one of the first institutions in Asia to be established as a multidisciplinary and Western-style university. Its alumni and faculty include several heads of state, heads of government, social reformers, prominent artists, only academy award winner and Dirac medal winner in India, many Fellows of the Royal Society and five Nobel laureates as of 2019 which is highest in South Asia.

University Of Calcutta

Foundations of Vagueness: a Category-theoretic Approach

Electronic Notes in Theoretical Computer Science

Rough Set Theory may be considered as a formal interpretation of observation of phenomena. On one side we have objects and on the other side we have properties. This is what we call a Property System. Observing is then the act of perceiving and then interpreting the binary relation (of satisfaction) between the two sides. Of course, the set of properties can be given a particular structure. However, from a pure " phenomenological" point of view, a structure is given by the satisfaction relation we observe. So it is a result and not a precondition. Phenomena, in general, do not give rise to topological systems but to pre-topological systems. In particular, "interior" and "closure" operators are not continuous with respect to joins, so that they can "miss" information. To obtain continuous operators we have to lift the abstraction level of Property Systems by synthesizing relations between objects and properties into systems of relations between objects and objects. Such relations are based on the notion of a minimal amount of information that is carried by an item. This way we can also account for Attribute Systems, that is, systems in which we have attributes instead of properties and items are evaluated by means of attribute values. But in order to apply our mathematical machinery to Attribute Systems we have to transform them into Property Systems in an appropriate manner. © Springer-Verlag Berlin Heidelberg 2007.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Formal topology and information systems

In the first Part we have introduced non-classical upper and lower approximations of subsets of objects or properties, on the basis of the properties featured by Galois adjunctions between intensional and extensionnal operators. In the present Part we introduce the higher order notions of an "Information Quantum" an "Information Quantum Relational System" which make adjoint operators into continuous approximation operators and make it possible to define a class of topological Approximation Spaces. ©2005 IEEE.

Journal	Data powered by TypesetElectronic Notes in Theoretical Computer Science
Publisher	Data powered by TypesetElsevier
ISSN	1571-0661
Open Access	Yes