Jon Sterling • Carlo Angiuli

Foundations of relative category theory