6 problems

Let $k$ be a positive integer, and for each $i=1,\dots,k$ let $n_i$ be a positive integer. Write $[n_i]$ for the corresponding finite chain, let $[n_1] \times \dots \times [n_k]$ b…

Consistency conjecture for general TBoxes. The consistency-checking procedure remains correct for knowledge bases with general, possibly cyclic, TBoxes.

A formal context consists of a set of objects, a set of attributes, and an incidence relation between them. A contranominal scale of size $j$ is a context of the form … Fix integer…

Let $\Phi:{\mathbb A}\xrightarrow{}{\mathbb B}$ be a matrix. Its tight extension is the matrix … obtained from the loose extension by retaining the morphisms that are mono and whos…

Let $\Phi:{\mathbb A}\looparrowright{\mathbb B}$ be a matrix. Its loose extension is the matrix … with objects $(a,b)$ and structure maps…

Projection conjecture. The resulting relational concepts will be the projections of the dominant latent concepts arising from quantitative analysis.