Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Rooted Structure

Let be a Combinatorial Structure.
We define

where is the Combinatorial Derivative.

Lemma

This is naturally isomorphic to

Proof

As , and consists of and
we can effectively replace with .
More precisely, for any we can find a natural bijection

defined by:

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks