The diagrammatic presentation of equations in categories

Kevin Arlin, James Fairbanks, Tim Hosgood +1

Lifts of categorical diagrams $D:\mathsf{J}\to \mathsf{X}$ against discrete opfibrations $\pi :\mathsf{E}\to \mathsf{X}$ can be interpreted as presenting solutions to systems…