arXiv++ Combinatorics

A quasi-schemoid is a small category whose morphisms are colored with appropriate combinatorial data. In this note, Mitchell's embedding theorem for a tame schemoid is established. The result allows us to give a cofibrantly generated model category structure to the category of chain complexes over a functor category with a schemoid as the domain. Moreover, a notion of Morita equivalence for schemoids is introduced and discussed. In particular, we show that every Hamming scheme of binary codes is Morita equivalent to the association scheme arising from the cyclic group of order two. In an appendix, we construct a new schemoid from an abstract simplicial complex, whose Bose-Mesner algebra is closely related to the Stanley-Reisner ring of the given complex.

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.

We propose the notion of association schemoids generalizing that of association schemes from small categorical points of view. In particular, a generalization of the Bose-Mesner algebra of an association scheme appears as a subalgebra in the category algebra of the underlying category of a schemoid. In this paper, the equivalence between the categories of grouopids and that of thin association schemoids is established. Moreover linear extensions of schemoids are considered. A general theory of the Baues-Wirsching cohomology deduces a classification theorem for such extensions of a schemoid. We also introduce two relevant categories of schemoids into which the categories of schemes due to Hanaki and due to French are embedded, respectively.