# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Todd has a “do not tamper” request up on the page at the moment, so I haven’t actually added this (and perhaps Todd intends to add precisely what I am about to say) but I think that the page needs to mention and prove the following remark: that the graph minors of $G$ are precisely the graphs $H$ such that there exists a monomorphic functor $\Pi_1 H\to\Pi_1 G$, where $\Pi_1$ is the “groupoid of paths” functor.

• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeJun 14th 2017

I haven’t thought about that. Do you have a proof in mind? Would you like to amplify on “needs to”?