Mycalvins Categories