Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra

Toshiki Kataoka, Dusko Pavlovic

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 decla…