*Thin groupoid* is an important but a heavily overlooked concept.

When I did Google search for “thin groupid” (with quotes), I found just (seven) pages (and some of these pages were created by myself). It is very weird that such an important concept was overlooked by the mathematical community.

By definition of *thin category*, thin groupoid is a groupoid for every pair , of objects of which there are at most one morphism .

I recall that a groupoid is a category all morphisms of which are isomorphisms. Moreover, in all examples below objects are sets and (iso)morphisms are isomorphisms of that is bijections.

So, roughly, “thin groupoid” means: Between every two sets in consideration there is considered at most one bijection. In other words, all objects in consideration are equivalent up to an isomorphism.

**1. Equivalent definitions of thin groupoid **

**Theorem 1** * The following definitions of thin groupoid are equivalent:*

- a groupoid with at most one morphism for given objects , ;
*a groupoid with each cycle of morphisms being identity.*

**Proof:** The only thing we need to prove (as all the rest is obvious) is that for thin groupoid each cycle of morphisms is identity. But really, composition of a cycle of morphisms is an endomorphism, but because our category is thin, there are be just one such morphism, the identity morphism.

“Each cycle of morphisms is identity” intuitively means: Every object is equivalent to itself in exactly one way.

**2. Examples **

** 2.1. Filters, ideals, etc. **

For a lattice I denote meets and joins correspondingly as and .

Filters and ideals are well known concepts:

*Filters* are subsets of such that:

- does not contain the least element of (if it exists).
- (for every ).

*Ideals* are subsets of such that:

- does not contain the greatest element of (if it exists).
- (for every ).

I also introduce *free stars* and *mixers*:

*Free stars* are subsets of such that:

- does not contain the least element of (if it exists).
- (for every ).

*Mixers* are subsets of such that:

- does not contain the greatest element of (if it exists).
- (for every ).

I will denote where the corresponding element of the dual poset . Also I denote

It is easy to show that filters, ideals, free stars, and mixers are related by the bijections presented in the following diagram:

(where denotes set-theoretic complement).

This diagram is a -elements thin groupoid (which is a subcategory of ). These bijections are order isomorphisms if we define order in the right way.

In the case if is a boolean lattice, there is also an alternative diagram (also a -elements thin groupoid (which is a subcategory of )):

(here ).

See https://www.mathematics21.org/binaries/dual-filters.pdf for more information.

** 2.2. Funcoids **

Funcoids, funcoidal reloids, and filters on lattices (don’t worry if you don’t know meanings of these terms, see my Web site for a book on this topic) are isomorphic as presented by the following diagram which is also a thin groupoid. The isomorphisms preserve order and composition.

See my book and https://www.mathematics21.org/binaries/funcoids-are-filters.pdf for more information.