diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-08 15:30:53 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-08 15:30:53 -0600 |
| commit | cb2efa506d9ecec48aad72deb10acb6ffba45970 (patch) | |
| tree | 3fdec9635f55b2c90c1b68c616f97711e53d3f01 /Cospan/Decorated.agda | |
| parent | 826b0b6007249ef518c5cff458ce6dc5c95fd43a (diff) | |
Update category of cospans
Diffstat (limited to 'Cospan/Decorated.agda')
| -rw-r--r-- | Cospan/Decorated.agda | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Cospan/Decorated.agda b/Cospan/Decorated.agda index 498a869..b5d6f07 100644 --- a/Cospan/Decorated.agda +++ b/Cospan/Decorated.agda @@ -17,7 +17,7 @@ module Cospan.Decorated module C = FinitelyCocompleteCategory C module D = SymmetricMonoidalCategory D -open import Category.Instance.Cospans C using (Cospan) +open import Category.Diagram.Cospan C using (Cospan) open import Level using (_⊔_) |