search

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work
BSD 3-Clause "New" or "Revised" License
745 stars 68 forks source link

Add Instance/Comp.v, based on work from Andrej Bauer #15

Closed jwiegley closed 4 years ago

jwiegley commented 4 years ago

Hello @andrejbauer, would it be OK with you if I included copy you had Gist'd into my project, to form the basis of some work on how Software Component Architecture principles form various categorical structures? If you have a copyright that you'd like me to include, I'd be happy to do so.

andrejbauer commented 4 years ago

Sure, sorry for the delay in response. MIT license is fine by me.

jwiegley commented 4 years ago

Thanks!