Skip to content

Commit

Permalink
pre-commit
Browse files Browse the repository at this point in the history
  • Loading branch information
@fredrik-bakke
fredrik-bakke committed Sep 21, 2023
1 parent 3933794 commit e0f6858
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/category-theory/category-of-functors.lagda.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,20 +8,20 @@ module category-theory.category-of-functors where

```agda
open import category-theory.categories
open import category-theory.functors-categories
open import category-theory.functors-precategories
open import category-theory.isomorphisms-in-categories
open import category-theory.functors-categories
open import category-theory.precategory-of-functors
open import category-theory.isomorphisms-in-precategories
open import category-theory.natural-isomorphisms-precategories
open import category-theory.natural-transformations-categories
open import category-theory.natural-transformations-precategories
open import category-theory.natural-isomorphisms-precategories
open import category-theory.isomorphisms-in-precategories
open import category-theory.precategories
open import category-theory.precategory-of-functors

open import foundation.dependent-pair-types
open import foundation.equivalences
open import foundation.identity-types
open import foundation.universe-levels
open import foundation.equivalences
```

</details>
Expand Down

0 comments on commit e0f6858

Please sign in to comment.