Coend calculus

Last updated May 2, 2024

• coend

References

• Coend Calculus (Loregian)
• Categories for the Working Mathematician (MacLane)