Semitensor for Day

Started work on instance Semitensor (Day c t). Also using the synonyms Copresheaf and CopresheafOf.