Ask a Question

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

Coherence for a closed functor

Coherence for a closed functor