👉 The term "congroid" is a concept from the field of algebraic topology, specifically in the theory of simplicial complexes. It refers to a type of space that can be defined by specifying an equivalence relation on its underlying set. In the context of simplicial complexes, a congroid is a simplicial complex whose underlying set is naturally identified with the set of all maps from another simplicial complex into it. This allows for the construction of new simplices and edges