Skip to content
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

Traits for monoidal categories and PROs #242

Open
epatters opened this issue Nov 3, 2024 · 0 comments
Open

Traits for monoidal categories and PROs #242

epatters opened this issue Nov 3, 2024 · 0 comments
Assignees
@kris-brown
Labels
core Rust core for categorical logic and general computation enhancement New feature or request

Comments

@epatters
Copy link
Member

epatters commented Nov 3, 2024 •
edited
Loading

Implement the traits:

  • MonoidalCategory for (non-symmetric) monoidal categories, extending the trait Category
  • PRO for multisorted PROs ("product categories"), i.e., a strict monoidal category whose monoid of objects is freely generated by a finite set of distinguished objects

The product operations should have an unbiased-first API.
@epatters epatters added core Rust core for categorical logic and general computation enhancement New feature or request labels Nov 3, 2024
This was referenced Nov 4, 2024
Open
Open
@kris-brown kris-brown mentioned this issue Nov 15, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kris-brown kris-brown

Labels
core Rust core for categorical logic and general computation enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@epatters @kris-brown