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

DOI10.4230/LIPIcs.CALCO.2015.130zbMath1366.68156arXiv1505.01098OpenAlexW2963614601MaRDI QIDQ5275348

Dusko Pavlovic, Toshiki Kataoka

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1505.01098

zbMATH Keywords

categorycompletionconcept analysisalgebrasemantic indexing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Enriched categories (over closed or monoidal categories) (18D20)

This page was built for publication: Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra