Category theory stubs