From 5caecf9796a1e815a37b32d3e6ecbf0a619b438e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Sun, 25 Feb 2018 15:28:42 +0100 Subject: [PATCH] Rename properties to yoneda --- src/Cat.agda | 2 +- src/Cat/Category/{Properties.agda => Yoneda.agda} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) rename src/Cat/Category/{Properties.agda => Yoneda.agda} (98%) diff --git a/src/Cat.agda b/src/Cat.agda index 4a0b4a0..7d8b396 100644 --- a/src/Cat.agda +++ b/src/Cat.agda @@ -9,7 +9,7 @@ import Cat.Category.CartesianClosed import Cat.Category.NaturalTransformation import Cat.Category.Pathy import Cat.Category.Bij -import Cat.Category.Properties +import Cat.Category.Yoneda import Cat.Category.Monad import Cat.Categories.Sets diff --git a/src/Cat/Category/Properties.agda b/src/Cat/Category/Yoneda.agda similarity index 98% rename from src/Cat/Category/Properties.agda rename to src/Cat/Category/Yoneda.agda index 5462f13..baf298b 100644 --- a/src/Cat/Category/Properties.agda +++ b/src/Cat/Category/Yoneda.agda @@ -1,6 +1,6 @@ {-# OPTIONS --allow-unsolved-metas --cubical #-} -module Cat.Category.Properties where +module Cat.Category.Yoneda where open import Agda.Primitive open import Data.Product