This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Wild category theory

{-# OPTIONS --guardedness #-}

Files in the wild category theory folder

module wild-category-theory where

open import wild-category-theory.colax-functors-noncoherent-large-wild-higher-precategories public
open import wild-category-theory.colax-functors-noncoherent-wild-higher-precategories public
open import wild-category-theory.isomorphisms-in-noncoherent-large-wild-higher-precategories public
open import wild-category-theory.isomorphisms-in-noncoherent-wild-higher-precategories public
open import wild-category-theory.maps-noncoherent-large-wild-higher-precategories public
open import wild-category-theory.maps-noncoherent-wild-higher-precategories public
open import wild-category-theory.noncoherent-large-wild-higher-precategories public
open import wild-category-theory.noncoherent-wild-higher-precategories public