As far as I understand it, it's something like generics for math theory.