8000 Add monoidal closed categories · Issue #9 · ekmett/categories · GitHub

More Web Proxy on the site http://driver.im/

Add monoidal closed categories #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

ChristopherKing42 opened this issue Mar 28, 2016 · 0 comments

ChristopherKing42 commented

We should add monoidal closed categories (and then cartesian closed category can be converted to being both monoidal closed and cartesian).

I can add this if we want this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

0