Initial categorical tools.