Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Perhaps we should have a reference to the classical idea of clique from graph theory as well. The Wikipedia article is here:
http://en.wikipedia.org/wiki/Clique_(graph_theory)
That looks a good start. I am not expert but did use them in some work some time ago.
I have added to the very beginning of clique the concise half-line definition:
A clique is a functor out of a (-2)-truncated groupoid.
I added the other consise half-line definition: an anafunctor out of the trivial category.
Very good :-)
1 to 8 of 8