Clubs
The rough idea of club is that if you understand (for certain categorical doctrines) the free structure on one element, then the free structure on more general categories can be gotten by a wreath product construction. There was a lot of work on this in the early 70’s, in the “Australian school” headed by Max Kelly. – Todd Trimble
Tags: formal category theory.