Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Matrix Expression of Finite Boolean-type Algebras   Boolean-type algebra (BTA) is investigated. A BTA is decomposed into
Boolean-type lattice (BTL) and a complementation algebra (CA). When the object
set is finite, the matrix expressions of BTL and CA (and then BTA) are
presented. The construction and certain properties of BTAs are investigated via
their matrix expression, including the homomorphism and isomorphism, etc. Then
the product/decomposition of BTLs are considered. A necessary and sufficient
condition for decomposition of BTA is obtained. Finally, a universal generator
is provided for arbitrary finite universal algebras.

32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat