Title: Connections between proof theory and category theory