Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Categorical View on Algebraic Lattices in Formal Concept Analysis   Formal concept analysis has grown from a new branch of the mathematical field
of lattice theory to a widely recognized tool in Computer Science and
elsewhere. In order to fully benefit from this theory, we believe that it can
be enriched with notions such as approximation by computation or
representability. The latter are commonly studied in denotational semantics and
domain theory and captured most prominently by the notion of algebraicity, e.g.
of lattices. In this paper, we explore the notion of algebraicity in formal
concept analysis from a category-theoretical perspective. To this end, we build
on the the notion of approximable concept with a suitable category and show
that the latter is equivalent to the category of algebraic lattices. At the
same time, the paper provides a relatively comprehensive account of the
representation theory of algebraic lattices in the framework of Stone duality,
relating well-known structures such as Scott information systems with further
formalisms from logic, topology, domains and lattice theory.

14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph