arXiv subjects

Evan Patterson

Publications and source records attributed to Evan Patterson.

At least 19 recordsLinked to original sources

arXiv2026

Twisted double functors and loosely discrete opfibrations

Various situations in the theory and applications of double categories, ranging from a loose Yoneda theory and loose compact closure to double-operadic systems theory, require a notion of double copresheaf in which the action is by loose morphisms rather than tight ones. In this paper, we develop and compare several models for loose copresheaves on double categories. First, we introduce a new notion of morphism between double categories, called twisted double functors, which send tight morphisms to loose morphisms and vice versa, and use these to define twisted copresheaves. We exhibit numerous examples of twisted double functors, starting with the twisted Hom functor and the twisted representables on a double category. Corresponding to this functorial notion of loose copresheaf is a fibrational one, an internal version of a discrete opfibration that we call a loosely discrete opfibration. We prove that twisted copresheaves and cloven loosely discrete opfibrations are equivalent via an elements construction. Finally, we compare twisted bimodules with double categories over the walking loose arrow, or double barrels, via a collage construction.

math.CT↗

arXiv2025

Presheaves on lax double functors; or, Instances of models of double theories

We introduce a notion of (co)presheaf on a lax double functor $X$, which we generally call an instance. In the terminology of double-categorical logic, a lax double functor valued in sets, possibly preserving finite products, is called a model of a double (Lawvere) theory. By varying the double theory, we uniformly define a well-behaved notion of instances of categories, profunctors, monads, monoidal categories, multicategories, and more, and we recover for instance the multifunctors into the category of sets in the last example. We show that instances of $X$ can be described either in terms of modules from the terminal model $I$ to $X,$ satisfying an additional condition on triviality of the left action, or as loose natural transformations from $I$ to $X.$ We propose a notion of discrete opfibration between models of a double theory, establish a comprehensive factorization system, and prove an elements correspondence giving an equivalence between the category of instances of and the category of discrete opfibrations over a model $X.$ We describe properties of the resulting categories of instances, relying on a "collage" construction which we characterize as a lax colimit of a model of a double theory. An appendix gives a detailed treatment of certain morphisms of lax functors relevant also for bicategory theory: (loose) transformations versus modules and modifications versus modulations.

math.CT↗

arXiv2025

Compositional System Dynamics: The Higher Mathematics Underlying System Dynamics Diagrams & Practice

This work establishes a robust mathematical foundation for compositional System Dynamics modeling, leveraging category theory to formalize and enhance the representation, analysis, and composition of system models. Here, System Dynamics diagrams, such as stock & flow diagrams, system structure diagrams, and causal loop diagrams, are formulated as categorical constructs, enabling scalable, transparent, and systematic reasoning. By encoding these diagrams as data using attributed C-sets and utilizing advanced categorical tools like structured cospans, pushouts, pullbacks, and functor mappings, the framework supports modular composition, stratification, and seamless mapping between syntax and semantics. The approach underwrites traditional practice with firm mathematical structure, facilitates the identification of certain forms of pathways and feedback loops, the detection of simple patterns within complex diagrams, common structure between diagrams, and structure-preserving mappings between diverse diagram types. Additionally, this framework supports alternative semantics, such as stochastic transition dynamics, extending beyond traditional ordinary differential equation (ODE) representations. Applications in compositional modeling, modularity, and team-based collaboration demonstrate the practical advantages of this advanced framework. Future directions include integrating dimensional annotations, supporting hybrid and agent-based modeling paradigms, and expanding the framework's applicability to global and local temporal reasoning through temporal sheaves. By revealing and formalizing the hidden mathematical structure of System Dynamics diagrams, this work empowers practitioners to tackle complex systems with clarity, scalability, and rigor.

eess.SY↗

arXiv2024

Automating Transfer of Robot Task Plans using Functorial Data Migrations

This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Functors provide structured maps between planning domain ontologies which enables the transfer of task plans without the need for replanning. Unlike methods tailored to specific plans, our framework applies universally within the source domain once a structured map is defined. We demonstrate this approach by transferring a task plan from the canonical Blocksworld domain to one compatible with the AI2-THOR Kitchen environment. Additionally, we discuss practical limitations, propose benchmarks for evaluating symbolic plan transfer methods, and outline future directions for scaling this approach.

cs.RO↗

arXiv2024

Transposing cartesian and other structure in double categories

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program of cartesian bicategories, the precise relationship between the double-categorical and bicategorical approaches has so far remained mysterious, except in special cases. We provide a formal connection by showing that every double category with iso-strong finite products, and in particular every cartesian equipment, has an underlying cartesian bicategory. To do so, we develop broadly applicable techniques for transposing natural transformations and adjunctions between double categories, extending a line of previous work rooted in the concepts of companions and conjoints.

math.CT↗

arXiv2024

GATlab: Modeling and Programming with Generalized Algebraic Theories

Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathematical models in software, we introduce GATlab, a domain-specific language for algebraic specification embedded in a technical programming language. GATlab is based on generalized algebraic theories (GATs), a logical system extending algebraic theories with dependent types so as to encompass category theory. Using GATlab, the programmer can specify generalized algebraic theories and their models, including both free models, based on symbolic expressions, and computational models, defined by arbitrary code in the host language. Moreover, the programmer can define maps between theories and use them to declaratively migrate models of one theory to models of another. In short, GATlab aims to provide a unified environment for both computer algebra and software interface design with generalized algebraic theories. In this paper, we describe the design, implementation, and applications of GATlab.

cs.LO↗

arXiv2024

Representing Knowledge and Querying Data using Double-Functorial Semantics

Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the 2-category of sets, relations, and implications. The functional and relational models are unified by double functors into the double category of sets, functions, relations, and implications. In an accessible, example-driven style, we show that the abstract structure of a 'double category of relations' is a flexible and expressive language in which to represent knowledge, and we show how queries on data in the spirit of Codd's relational algebra are captured by double-functorial semantics.

math.CT↗

arXiv2024

A Compositional Framework for First-Order Optimization

Optimization decomposition methods are a fundamental tool to develop distributed solution algorithms for large scale optimization problems arising in fields such as machine learning and optimal control. In this paper, we present an algebraic framework for hierarchically composing optimization problems defined on hypergraphs and automatically generating distributed solution algorithms that respect the given hierarchical structure. The central abstractions of our framework are operads, operad algebras, and algebra morphisms, which formalize notions of syntax, semantics, and structure preserving semantic transformations respectively. These abstractions allow us to formally relate composite optimization problems to the distributed algorithms that solve them. Specifically, we show that certain classes of optimization problems form operad algebras, and a collection of first-order solution methods, namely gradient descent, Uzawa's algorithm (also called gradient ascent-descent), and their subgradient variants, yield algebra morphisms from these problem algebras to algebras of dynamical systems. Primal and dual decomposition methods are then recovered by applying these morphisms to certain classes of composite problems. Using this framework, we also derive a novel sufficient condition for when a problem defined by compositional data is solvable by a decomposition method. We show that the minimum cost network flow problem satisfies this condition, thereby allowing us to automatically derive a hierarchical dual decomposition algorithm for finding minimum cost flows on composite flow networks. We implement our operads, algebras, and algebra morphisms in a Julia package called AlgebraicOptimization.jl and use our implementation to empirically demonstrate that hierarchical dual decomposition outperforms standard dual decomposition on classes of flow networks with hierarchical structure.

math.OC↗

arXiv2024

Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations

We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations, a method for composing systems of partial differential equations using an operad of wiring diagrams, and an algorithm for deriving solvers using hypergraphs and string diagrams. The string diagrams are in turn compiled into executable programs using the techniques of categorical data migration, graph traversal, and the discrete exterior calculus. The generated solvers produce numerical solutions consistent with state-of-the-art open source tools as demonstrated by benchmark comparisons with SU2. These numerical experiments demonstrate the feasibility of this approach to multiphysics simulation and identify areas requiring further development.

math.NA↗

arXiv2024

The diagrammatic presentation of equations in categories

Lifts of categorical diagrams $D\colon\mathsf{J}\to\mathsf{X}$ against discrete opfibrations $\pi\colon\mathsf{E}\to\mathsf{X}$ can be interpreted as presenting solutions to systems of equations. With this interpretation in mind, it is natural to ask if there is a notion of equivalence of diagrams $D\simeq D'$ that precisely captures the idea of the two diagrams "having the same solutions''. We give such a definition, and then show how the localisation of the category of diagrams in $\mathsf{X}$ along such equivalences is isomorphic to the localisation of the slice category $\mathsf{Cat}/\mathsf{X}$ along the class of initial functors. Finally, we extend this result to the 2-categorical setting, proving the analogous statement for any locally presentable 2-category in place of $\mathsf{Cat}$.

math.CT↗

arXiv2024

Products in double categories, revisited

Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased perspective, following up an original idea by Par\'e to employ a double-categorical analogue of the family construction, or free product completion. Defined in this way, double categories with finite products are strictly more expressive than cartesian double categories, while being governed by a single universal property that is no more difficult to work with. We develop the basic theory and examples of such products and, by duality, of coproducts in double categories. As an application, we introduce finite-product double theories, a categorification of finite-product theories that extends recent work by Lambert and the author on cartesian double theories, and we construct the virtual double category of models of a finite-product double theory.

math.CT↗

arXiv2023

Cartesian double theories: A double-categorical framework for categorical doctrines

The categorified theories known as "doctrines" specify a category equipped with extra structure, analogous to how ordinary theories specify a set with extra structure. We introduce a new framework for doctrines based on double category theory. A cartesian double theory is defined to be a small double category with finite products and a model of a cartesian double theory to be a finite product-preserving lax functor out of it. Many familiar categorical structures are models of cartesian double theories, including categories, presheaves, monoidal categories, braided and symmetric monoidal categories, 2-groups, multicategories, and cartesian and cocartesian categories. We show that every cartesian double theory has a unital virtual double category of models, with lax maps between models given by cartesian lax natural transformations, bimodules between models given by cartesian modules, and multicells given by multimodulations. In many cases, the virtual double category of models is representable, hence is a genuine double category. Moreover, when restricted to pseudo maps, every cartesian double theory has a virtual equipment of models, hence an equipment of models in the representable case. Compared with 2-monads, double theories have the advantage of being straightforwardly presentable by generators and relations, as we illustrate through a large number of examples.

math.CT↗

arXiv2023

A Categorical Representation Language and Computational System for Knowledge-Based Planning

Classical planning representation languages based on first-order logic have preliminarily been used to model and solve robotic task planning problems. Wider adoption of these representation languages, however, is hindered by the limitations present when managing implicit world changes with concise action models. To address this problem, we propose an alternative approach to representing and managing updates to world states during planning. Based on the category-theoretic concepts of $\mathsf{C}$-sets and double-pushout rewriting (DPO), our proposed representation can effectively handle structured knowledge about world states that support domain abstractions at all levels. It formalizes the semantics of predicates according to a user-provided ontology and preserves the semantics when transitioning between world states. This method provides a formal semantics for using knowledge graphs and relational databases to model world states and updates in planning. In this paper, we conceptually compare our category-theoretic representation with the classical planning representation. We show that our proposed representation has advantages over the classical representation in terms of handling implicit preconditions and effects, and provides a more structured framework in which to model and solve planning problems.

cs.AI↗

arXiv2023

Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems

Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we introduce a category theoretic framework for constructing complex MPC problem formulations by composing subproblems. Specifically, we construct a monoidal category - called Para(Conv) - whose objects are Euclidean spaces and whose morphisms represent constrained convex optimization problems. We then show that the multistage structure of typical MPC problems arises from sequential composition in Para(Conv), while parallel composition can be used to model constraints across multiple stages of the prediction horizon. This framework comes equipped with a rigorous, diagrammatic syntax, allowing for easy visualization and modification of complex problems. Finally, we show how this framework allows a simple software realization in the Julia programming language by integrating with existing mathematical programming libraries to provide high-level, graphical abstractions for MPC.

math.OC↗

arXiv2023

Structured and Decorated Cospans from the Viewpoint of Double Category Theory

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that, under mild hypotheses, double categories of structured cospans are cocartesian (have finite double-categorical coproducts) and are equipments. The proofs are simple as they utilize appropriate double-categorical universal properties. Maps between double categories of structured cospans are studied from the same perspective. We then give a new construction of the double category of decorated cospans using the recently introduced double Grothendieck construction. Besides its conceptual value, this reconstruction leads to a natural generalization of decorated cospans, which we illustrate through an example motivated by statistical theories and other theories of processes.

math.CT↗

arXiv2023

A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks

Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regulatory networks and other mathematical models in biochemistry. We construct a functor from reaction networks, modeled as Petri nets with signed links, to regulatory networks, enabling us to precisely define when a reaction network could be a physical mechanism underlying a regulatory network. Turning to quantitative models, we associate a regulatory network with a Lotka-Volterra system of differential equations, defining a functor from the category of signed graphs to a category of parameterized dynamical systems. We extend this result from closed to open systems, demonstrating that Lotka-Volterra dynamics respects not only inclusions and collapsings of regulatory networks, but also the process of building up complex regulatory networks by gluing together simpler pieces. Formally, we use the theory of structured cospans to produce a lax double functor from the double category of open signed graphs to that of open parameterized dynamical systems. Throughout the paper, we ground the categorical formalism in examples inspired by systems biology.

q-bio.MN↗

arXiv2022

Compositional Modeling with Stock and Flow Diagrams

Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems they describe, we have created a new package called StockFlow, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software. Compositionality is provided by the theory of decorated cospans: stock and flow diagrams can be composed to form larger ones in an intuitive way formalized by the operad of undirected wiring diagrams. Our approach also cleanly separates the syntax of stock and flow diagrams from the semantics they can be assigned. We consider semantics in ordinary differential equations, although others are possible. As an example, we explain code in StockFlow that implements a simplified version of a COVID-19 model used in Canada.

cs.LO↗

arXiv2022

A diagrammatic view of differential equations in physics

Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm mathematical footing, while also systematizing a broadly applicable framework to reason formally about systems of equations and their solutions. Our main mathematical tools are category-theoretic diagrams, which are well known, and morphisms between diagrams, which have been less appreciated. As an application of the diagrammatic framework, we show how complex, multiphysical systems can be modularly constructed from basic physical principles. A wealth of examples, drawn from electromagnetism, transport phenomena, fluid mechanics, and other fields, is included.

math-ph↗