Kataoka, Toshiki ;
Pavlovic, Dusko
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra
Abstract
While computer programs and logical theories begin by declaring the concepts of interest, be it as data types or as predicates, network computation does not allow such global declarations, and requires concept mining and concept analysis to extract shared semantics for different network nodes. Powerful semantic analysis systems have been the drivers of nearly all paradigm shifts on the web. In categorical terms, most of them can be described as bicompletions of enriched matrices, generalizing the DedekindMacNeillestyle completions from posets to suitably enriched categories. Yet it has been well known for more than 40 years that ordinary categories themselves in general do not permit such completions. Armed with this new semantical view of DedekindMacNeille completions, and of matrix bicompletions, we take another look at this ancient mystery. It turns out that simple categorical versions of the limit superior and limit inferior operations characterize a general notion of DedekindMacNeille completion, that seems to be appropriate for ordinary categories, and boils down to the more familiar enriched versions when the limits inferior and superior coincide. This explains away the apparent gap among the completions of ordinary categories, and broadens the path towards categorical concept mining and analysis, opened in previous work.
BibTeX  Entry
@InProceedings{kataoka_et_al:LIPIcs:2015:5531,
author = {Toshiki Kataoka and Dusko Pavlovic},
title = {{Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {130155},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783939897842},
ISSN = {18688969},
year = {2015},
volume = {35},
editor = {Lawrence S. Moss and Pawel Sobocinski},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5531},
URN = {urn:nbn:de:0030drops55317},
doi = {10.4230/LIPIcs.CALCO.2015.130},
annote = {Keywords: concept analysis, semantic indexing, category, completion, algebra}
}
2015
Keywords: 

concept analysis, semantic indexing, category, completion, algebra 
Seminar: 

6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)

Issue date: 

2015 
Date of publication: 

2015 