Ask a Question

Prefer a chat interface with context about you and your work?

Polycategories via pseudo-distributive laws

Polycategories via pseudo-distributive laws