arXiv++ Combinatorics

We present a corrected version of a theorem from the paper "N-free posets and orthomodularity" published in Order 43(1) (2026).

We prove that coherent configurations can be represented as modules over Frobenius structures in the category of real nonnegative matrices. We generalize the notion of admissible morphism from association schemes to coherent configurations. We show that the Frobenius structure associated to a coherent configuration can be modified to become a dagger Frobenius structure, and use this to connect the coherent configurations to groupoids and $H^*$-algebras. We examine the properties of the dagger Frobenius structure with respect to admissible morphisms. We introduce the matrix $O$ obtained as the composition of comultiplication and multiplication of the dagger Frobenius structure and prove that we may obtain the valencies of colors, and thus recover the original coherent configuration, as an eigenvector of $O$. In the last part of the paper, we examine the spectrum of $O$ and apply it to generalize the Lagrange theorem from groups to association schemes.

We prove that the incomparability orthoset of a finite poset is Dacey if and only if the poset is N-free. We give a characterization of finite posets with compatible incomparability orthosets.

We prove that the notion of a derived voltage graph comes from an adjunction between the category of voltage graphs and a category of group labeled graphs.

We introduce two monads on the category of graphs and prove that their Eilenberg-Moore categories are isomorphic to the category of perfect matchings and the category of partial Steiner triple systems, respectively. As a simple application of these results, we describe the product in the categories of perfect matchings and partial Steiner triple systems.

We examine the lattice of all order congruences of a finite poset from the viewpoint of combinatorial algebraic topology. We will prove that the order complex of the lattice of all nontrivial order congruences (or order-preserving partitions) of a finite $n$-element poset $P$ with $n\geq 3$ is homotopy equivalent to a wedge of spheres of dimension $n-3$. If $P$ is connected, then the number of spheres is equal to the number of linear extensions of $P$. In general, the number of spheres is equal to the number of cyclic extensions of $P$.