fredefox/cat
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Rename properties to yoneda

Browse source
This commit is contained in:
Frederik Hanghøj Iversen 2018-02-25 15:28:42 +01:00
parent 44526b85eb
commit 5caecf9796
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Cat.agda
View file

@ -9,7 +9,7 @@ import Cat.Category.CartesianClosed
import Cat.Category.NaturalTransformation import Cat.Category.NaturalTransformation
import Cat.Category.Pathy import Cat.Category.Pathy
import Cat.Category.Bij import Cat.Category.Bij
import Cat.Category.Properties import Cat.Category.Yoneda
import Cat.Category.Monad import Cat.Category.Monad
import Cat.Categories.Sets import Cat.Categories.Sets

2
src/Cat/Category/Properties.agda → src/Cat/Category/Yoneda.agda
View file

@ -1,6 +1,6 @@
{-# OPTIONS --allow-unsolved-metas --cubical #-} {-# OPTIONS --allow-unsolved-metas --cubical #-}
module Cat.Category.Properties where module Cat.Category.Yoneda where
open import Agda.Primitive open import Agda.Primitive
open import Data.Product open import Data.Product