Category Theory (with Dmitry Shatkov)

Category Theory (with Dmitry Shatkov)

On Type Theory and Equality (with Dimitry Shatkov)See more

On Type Theory and Equality (with Dimitry Shatkov)

Introduction to diagrammatics - Dmitry VagnerSee more

Introduction to diagrammatics - Dmitry Vagner

Actual