Define the statements of the universal property for the specific groupoid structures

pufferffish / agda-symmetries

MIT License

5 stars 1 forks source link

Open vikraman opened 3 months ago

vikraman commented 3 months ago

Since we don't have the generic framework for groupoids, do it for free monoidal and free symmetric monoidal groupoids.

vikraman commented 3 months ago

related #86