Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Join-semilattices with two-dimensional congruence amalgamation   We say that a (&#8744;,0)-semilattice S is conditionally co-Brouwerian, if
(1) for all nonempty subsets X and Y of S such that X $\leq$ Y (i.e., x $\leq$
y for all (x, y) $\in$ X x Y), there exists z $\in$ S such that X $\leq$ z
$\leq$ Y, and (2) for every subset Z of S and all a, b $\in$ S, if a $\leq$ b
&#8744; z for all z $\in$ Z, then there exists c $\in$ S such that a $\leq$ b
&#8744; c and c $\leq$ Z. By restricting this de&#64257;nition to subsets X, Y,
and Z of less than $\kappa$ elements, for an in&#64257;nite cardinal $\kappa$,
we obtain the de&#64257;nition of a conditionally $\kappa$- co-Brouwerian
(&#8744;, 0)-semilattice. We prove that for every conditionally co-Brouwerian
lattice S and every partial lattice P, every (&#8744;, 0)-homomorphism $\phi$:
Conc P $\to$ S can be lifted to a lattice homomorphism f : P $\to$ L, for some
relatively complemented lattice L. Here, Conc P denotes the (&#8744;,
0)-semilattice of compact congruences of P. We also prove a two-dimensional
version of this result, and we establish partial converses of our results and
various of their consequences in terms of congruence lattice representation
problems. Among those consequences, for every in&#64257;nite regular cardinal
$\kappa$ and every conditionally $\kappa$-co-Brouwerian S of size $\kappa$,
there exists a relatively complemented lattice L with zero such that Conc L is
isomorphic to S.

35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
1
The categories of this paper are: cs
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph