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 ...

Java is a popular programming language with diverse applications. One of the essential tasks that a programmer needs to perform is to concatenate or join strings in Java. String concatenation simply ...

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

Relational Algebras We start by describing the classical (or non-categorical) view of relational theories because it should look more familiar to most people. The classical story starts with universal ...

Benefits of the Java String printf method The Java String printf method can be confusing at first, but it greatly simplifies how you format complex Strings. This is especially true when creating ...

The need to find the length of a Java String is a common programming requirement. Learn how to get the size of a Java String and avoid lengthy errors developers often encounter.