Initial structure with some lightweight category implementations.