Please tell what branch of mathematics it's from, and if possible, give an example. I want to collect a bunch of things to maybe write some simple tutorial/pointers on them.