Lecture notes for the "Introduction to Category Theory and its Applications" course 2025 (Track B - Computer Science) @ Tallinn University of Technology - iwilare/category-theory-course-2025 ...

This paper introduces a new visualization method, the arc diagram, which is capable of representing complex patterns of repetition in string data. Arc diagrams improve over previous methods such as ...

This is the goal of this blog, we will use string diagrams to represent simply-typed lambda calculus terms, and computation will be modeled by the idea of a sequence of rewriting steps of string ...

Daffy duck, coconuts and raccoons: When do memes, emojis and gifs become hate crimes? ‘I’m going to be brought down by a Daffy Duck GIF? I felt anger,’ one person told The Independent ...

Your trains stop between wiring blocks because the locomotives create a short circuit between power packs. Add some switches to fix it.

String diagrams for wave-based computation Journal: Applied Physics Letters Published: 2023-12-11 DOI: 10.1063/5.0183549 Affiliations: 1 Authors: 2 Go to article ...

Create string diagrams with LaTeX! string-diagrams is a LaTeX package designed for effortless and aesthetically pleasing creation of string diagrams.