deprecated.Categories

Jon Sterling, 16 Dec 2022

This is a nascent development of some basic 1-category theory from the univalent
point of view.


{-# OPTIONS --safe --without-K #-}

module deprecated.Categories.index where

import deprecated.Categories.Category
import deprecated.Categories.Functor
import deprecated.Categories.NaturalTransformation
import deprecated.Categories.Adjunction