<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="default.xsl"?>
<fr:tree
toc="true"
numbered="true"
show-heading="true"
show-metadata="true"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>836</fr:anchor><fr:addr
type="user">bib-0002</fr:addr><fr:route>bib-0002.xml</fr:route><fr:title
text="Double category theory">Double category theory</fr:title><fr:taxon>Bibliography</fr:taxon><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>Double category theory:

<fr:ul><fr:li>Textbook reference: <fr:link
type="local"
href="grandis-2019.xml"
addr="grandis-2019"
title="Higher dimensional categories: From double to multiple categories">Higher dimensional categories: From double to multiple categories</fr:link></fr:li>
  <fr:li>Equipments: <fr:link
type="local"
href="shulman-2008.xml"
addr="shulman-2008"
title="Framed bicategories and monoidal fibrations">Framed bicategories and monoidal fibrations</fr:link></fr:li></fr:ul></fr:p><fr:p>Double-categorical logic:

<fr:ul><fr:li><fr:link
type="local"
href="cartesian-double-theories-2024.xml"
addr="cartesian-double-theories-2024"
title="Cartesian double theories: A double-categorical framework for categorical doctrines">Cartesian double theories: A double-categorical framework for categorical doctrines</fr:link></fr:li>
  <fr:li><fr:link
type="local"
href="double-products-2026.xml"
addr="double-products-2026"
title="Products in double categories, revisited">Products in double categories, revisited</fr:link></fr:li>
  <fr:li><fr:link
type="local"
href="double-instances-2026.xml"
addr="double-instances-2026"
title="Presheaves on lax double functors; or, Instances of models of double theories">Presheaves on lax double functors; or, Instances of models of double theories</fr:link></fr:li></fr:ul></fr:p><fr:p>Background on categorical logic:

<fr:ul><fr:li>Treatment of categorical logic using multicategories: <fr:link
type="local"
href="shulman-2016.xml"
addr="shulman-2016"
title="Categorical logic from a categorical point of view">Categorical logic from a categorical point of view</fr:link></fr:li></fr:ul></fr:p><fr:p>Double-categorical systems theory:

<fr:ul><fr:li><fr:link
type="local"
href="dots-2025.xml"
addr="dots-2025"
title="Towards a double operadic theory of systems">Towards a double operadic theory of systems</fr:link></fr:li></fr:ul></fr:p></fr:mainmatter><fr:backmatter><fr:tree
toc="false"
numbered="false"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:title
text="References">References</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>837</fr:anchor><fr:addr
type="user">double-instances-2026</fr:addr><fr:route>double-instances-2026.xml</fr:route><fr:title
text="Presheaves on lax double functors; or, Instances of models of double theories">Presheaves on lax double functors; or, Instances of models of double theories</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2026</fr:year></fr:date><fr:authors><fr:author>Kevin Carlson</fr:author><fr:author>Evan Patterson</fr:author></fr:authors><fr:meta
name="doi">10.1007/s10485-026-09866-y</fr:meta><fr:meta
name="arxiv">2510.08861</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>840</fr:anchor><fr:addr
type="user">double-products-2026</fr:addr><fr:route>double-products-2026.xml</fr:route><fr:title
text="Products in double categories, revisited">Products in double categories, revisited</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2026</fr:year></fr:date><fr:authors><fr:author>Evan Patterson</fr:author></fr:authors><fr:meta
name="arxiv">2401.08990</fr:meta><fr:meta
name="external">http://www.tac.mta.ca/tac/volumes/45/16/45-16abs.html</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>842</fr:anchor><fr:addr
type="user">dots-2025</fr:addr><fr:route>dots-2025.xml</fr:route><fr:title
text="Towards a double operadic theory of systems">Towards a double operadic theory of systems</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2025</fr:year></fr:date><fr:authors><fr:author>Sophie Libkind</fr:author><fr:author>David Jaz Myers</fr:author></fr:authors><fr:meta
name="arxiv">2505.18329</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>845</fr:anchor><fr:addr
type="user">cartesian-double-theories-2024</fr:addr><fr:route>cartesian-double-theories-2024.xml</fr:route><fr:title
text="Cartesian double theories: A double-categorical framework for categorical doctrines">Cartesian double theories: A double-categorical framework for categorical doctrines</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2024</fr:year></fr:date><fr:authors><fr:author>Michael Lambert</fr:author><fr:author>Evan Patterson</fr:author></fr:authors><fr:meta
name="doi">10.1016/j.aim.2024.109630</fr:meta><fr:meta
name="arxiv">2310.05384</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>848</fr:anchor><fr:addr
type="user">grandis-2019</fr:addr><fr:route>grandis-2019.xml</fr:route><fr:title
text="Higher dimensional categories: From double to multiple categories">Higher dimensional categories: From double to multiple categories</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2019</fr:year></fr:date><fr:authors><fr:author>Marco Grandis</fr:author></fr:authors><fr:meta
name="doi">10.1142/11406</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>850</fr:anchor><fr:addr
type="user">shulman-2016</fr:addr><fr:route>shulman-2016.xml</fr:route><fr:title
text="Categorical logic from a categorical point of view">Categorical logic from a categorical point of view</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2016</fr:year></fr:date><fr:authors><fr:author>Michael Shulman</fr:author></fr:authors><fr:meta
name="external">https://mikeshulman.github.io/catlog/catlog.pdf</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>852</fr:anchor><fr:addr
type="user">shulman-2008</fr:addr><fr:route>shulman-2008.xml</fr:route><fr:title
text="Framed bicategories and monoidal fibrations">Framed bicategories and monoidal fibrations</fr:title><fr:taxon>Reference</fr:taxon><fr:date><fr:year>2008</fr:year></fr:date><fr:authors><fr:author>Michael Shulman</fr:author></fr:authors><fr:meta
name="arxiv">0706.1286</fr:meta><fr:meta
name="external">http://www.tac.mta.ca/tac/volumes/20/18/20-18abs.html</fr:meta></fr:frontmatter><fr:mainmatter /><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree><fr:tree
toc="false"
numbered="false"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:title
text="Context">Context</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>854</fr:anchor><fr:addr
type="user">bib-0001</fr:addr><fr:route>bib-0001.xml</fr:route><fr:title
text="Mathematical bibliography">Mathematical bibliography</fr:title><fr:taxon>Bibliography</fr:taxon><fr:authors /></fr:frontmatter><fr:mainmatter><fr:tree
toc="true"
numbered="true"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>855</fr:anchor><fr:addr
type="user">bib-0002</fr:addr><fr:route>bib-0002.xml</fr:route><fr:title
text="Double category theory">Double category theory</fr:title><fr:taxon>Bibliography</fr:taxon><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>Double category theory:

<fr:ul><fr:li>Textbook reference: <fr:link
type="local"
href="grandis-2019.xml"
addr="grandis-2019"
title="Higher dimensional categories: From double to multiple categories">Higher dimensional categories: From double to multiple categories</fr:link></fr:li>
  <fr:li>Equipments: <fr:link
type="local"
href="shulman-2008.xml"
addr="shulman-2008"
title="Framed bicategories and monoidal fibrations">Framed bicategories and monoidal fibrations</fr:link></fr:li></fr:ul></fr:p><fr:p>Double-categorical logic:

<fr:ul><fr:li><fr:link
type="local"
href="cartesian-double-theories-2024.xml"
addr="cartesian-double-theories-2024"
title="Cartesian double theories: A double-categorical framework for categorical doctrines">Cartesian double theories: A double-categorical framework for categorical doctrines</fr:link></fr:li>
  <fr:li><fr:link
type="local"
href="double-products-2026.xml"
addr="double-products-2026"
title="Products in double categories, revisited">Products in double categories, revisited</fr:link></fr:li>
  <fr:li><fr:link
type="local"
href="double-instances-2026.xml"
addr="double-instances-2026"
title="Presheaves on lax double functors; or, Instances of models of double theories">Presheaves on lax double functors; or, Instances of models of double theories</fr:link></fr:li></fr:ul></fr:p><fr:p>Background on categorical logic:

<fr:ul><fr:li>Treatment of categorical logic using multicategories: <fr:link
type="local"
href="shulman-2016.xml"
addr="shulman-2016"
title="Categorical logic from a categorical point of view">Categorical logic from a categorical point of view</fr:link></fr:li></fr:ul></fr:p><fr:p>Double-categorical systems theory:

<fr:ul><fr:li><fr:link
type="local"
href="dots-2025.xml"
addr="dots-2025"
title="Towards a double operadic theory of systems">Towards a double operadic theory of systems</fr:link></fr:li></fr:ul></fr:p></fr:mainmatter><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="true"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>856</fr:anchor><fr:addr
type="user">bib-0003</fr:addr><fr:route>bib-0003.xml</fr:route><fr:title
text="Modeling frameworks">Modeling frameworks</fr:title><fr:taxon>Bibliography</fr:taxon><fr:authors /></fr:frontmatter><fr:mainmatter><fr:tree
toc="true"
numbered="true"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>515</fr:anchor><fr:addr
type="machine">#244</fr:addr><fr:route>unstable-244.xml</fr:route><fr:title
text="Knowledge and data">Knowledge and data</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:ul><fr:li><fr:link
type="local"
href="ologs-2012.xml"
addr="ologs-2012"
title="Ologs: A categorical framework for knowledge representation">Ologs: A categorical framework for knowledge representation</fr:link></fr:li>
<fr:li><fr:link
type="local"
href="alg-databases-2017.xml"
addr="alg-databases-2017"
title="Algebraic databases">Algebraic databases</fr:link>; see also <fr:link
type="local"
href="acsets-2022.xml"
addr="acsets-2022"
title="Categorical data structures for technical computing">Categorical data structures for technical computing</fr:link></fr:li></fr:ul></fr:mainmatter><fr:backmatter /></fr:tree><fr:tree
toc="true"
numbered="true"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>516</fr:anchor><fr:addr
type="machine">#245</fr:addr><fr:route>unstable-245.xml</fr:route><fr:title
text="Dynamical systems">Dynamical systems</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:ul><fr:li>Regulatory networks and causal loop diagrams: <fr:link
type="local"
href="reg-nets-2024.xml"
addr="reg-nets-2024"
title="A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks">A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks</fr:link></fr:li>
<fr:li>Stock-flow diagrams: <fr:link
type="local"
href="stock-flow-2023.xml"
addr="stock-flow-2023"
title="Compositional modeling with stock and flow diagrams">Compositional modeling with stock and flow diagrams</fr:link></fr:li></fr:ul></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree><fr:tree
toc="false"
numbered="false"
show-heading="true"
show-metadata="false"
expanded="true"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:title
text="Backlinks">Backlinks</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:tree
toc="true"
numbered="false"
show-heading="true"
show-metadata="true"
expanded="false"
root="false"
xmlns:fr="http://www.jonmsterling.com/jms-005P.xml"><fr:frontmatter><fr:anchor>857</fr:anchor><fr:addr
type="user">dbl-0001</fr:addr><fr:route>dbl-0001.xml</fr:route><fr:title
text="Double category theory">Double category theory</fr:title><fr:authors /></fr:frontmatter><fr:mainmatter><fr:p>Double category theory:
<fr:ul><fr:li><fr:link
type="local"
href="dbl-0002.xml"
addr="dbl-0002"
title="Tabulators">Tabulators</fr:link></fr:li></fr:ul></fr:p><fr:p>Double-categorical logic:
<fr:ul><fr:li><fr:link
type="local"
href="dbl-0008.xml"
addr="dbl-0008"
title="Double Lawvere theories">Double Lawvere theories</fr:link></fr:li>
<fr:li><fr:link
type="local"
href="dbl-0005.xml"
addr="dbl-0005"
title="Discrete models of double theories">Discrete models</fr:link> and <fr:link
type="local"
href="dbl-000D.xml"
addr="dbl-000D"
title="Free models of double theories">free models</fr:link></fr:li>
<fr:li><fr:link
type="local"
href="mdt-0008.xml"
addr="mdt-0008"
title="Modal double theories">Modal double theories</fr:link></fr:li></fr:ul>

<fr:p>Bibliography: <fr:link
type="local"
href="bib-0002.xml"
addr="bib-0002"
title="Double category theory">Double category theory</fr:link></fr:p></fr:p></fr:mainmatter><fr:backmatter /></fr:tree></fr:mainmatter><fr:backmatter /></fr:tree></fr:backmatter></fr:tree>