Jon Sterling, 16 Dec 2022

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

\begin{code}

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

module gist.Categories.index where

import gist.Categories.Category
import gist.Categories.Functor
import gist.Categories.NaturalTransformation
import gist.Categories.Adjunction

\end{code}