Abstract:The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of diverse theoretical and applied systems. Complex algebraic structures - otherwise represented by a forest of symbols - can be encoded into diagrams with intuitive graphical rules. The prevailing paradigm for diagrammatic category theory are monoidal string diagrams whose specification reflects the axioms of monoidal categories. However, such diagrams struggle in accurately portraying crucial categorical constructs such as functors or natural transformations, obscuring central concepts such as the Yoneda lemma or the simultaneous consideration of hom-functors and products. In this work, we introduce functor string diagrams, a systematic approach for the development of categorical diagrams which allows functors, natural transformations, and products to be clearly represented. We validate their practicality in multiple dimensions. We show their usefulness for theoretical manipulations by proving the Yoneda lemma, show that they encompass monoidal string diagrams and hence their helpful properties, and end by showing their exceptional applied utility by leveraging them to underpin neural circuit diagrams, a method which, at last, allows deep learning architectures to be comprehensively and rigorously expressed.

On functors between categories with colored morphisms

Chromatic functors of graphs

From Morphism Categories to Functor Categories

Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

Fray functors and equivalence of colored HOMFLYPT homologies

Functorial Approach to Graph and Hypergraph Theory

Monadic functors forgetful of (dis)inhibited actions

The Commutant and Center of a Generalized Green Functor

The homotopy theory of simplicial props

Dwyer--Kan homotopy theory for cyclic operads

Homotopic distance between functors

How to Represent Non-Representable Functors

A functorial approach to $n$-abelian categories

Commutators and crossed modules of color Hopf algebras

The spectrum of excisive functors

Functors on the category of finite sets revisited

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory

Convexity in (colored) affine semigroups

Morphisms of pre-Calabi-Yau categories and morphisms of cyclic $A_{\infty}$-categories

Functors induced by comma categories

Functors Preserving Effective Descent Morphisms