@article(baez2015categories,
 author       = {John C Baez and Jason Erbele},
 year         = {2015},
 title        = {Categories in control},
 journal      = {Theory and Applications of Categories},
 volume       = {30},
 number       = {24},
 pages        = {836--881},
)
@article(baez2018compositional,
 author       = {John C. Baez and Brendan Fong},
 year         = {2018},
 title        = {A compositional framework for passive linear networks},
 journal      = {Theory and Applications of Categories},
 volume       = {33},
 number       = {38},
 pages        = {1158--1222},
)
@article(baez2017compositional,
 author       = {John C Baez and Blake S Pollard},
 year         = {2017},
 title        = {A compositional framework for reaction networks},
 journal      = {Reviews in Mathematical Physics},
 volume       = {29},
 number       = {09},
 pages        = {1750028},
 doi          = {10.1142/S0129055X17500283},
)
@incollection(barr:1971a,
 author       = {Michael Barr},
 year         = {1971},
 title        = {Exact categories},
 booktitle    = {Exact categories and categories of sheaves},
 publisher    = {Springer},
 pages        = {1--120},
 doi          = {10.1007/BFb0058579},
)
@article(bonchi2018graphical,
 author       = {Filippo Bonchi and Jens Seeber and Pawel Sobocinski},
 year         = {2018},
 title        = {Graphical conjunctive queries},
 journal      = {arXiv preprint arXiv:\href{https://arxiv.org/abs/1804.07626}{1804.07626}},
)
@inproceedings(bonchi2014categorical,
 author       = {Filippo Bonchi and Pawe{\l} Soboci{\'n}ski and Fabio Zanasi},
 year         = {2014},
 title        = {A categorical semantics of signal flow graphs},
 booktitle    = {International Conference on Concurrency Theory},
 organization = {Springer},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6\_30},
)
@article(butz1998regular,
 author       = {Carsten Butz},
 year         = {1998},
 title        = {Regular categories and regular logic},
 journal      = {BRICS Lecture Series LS-98-2},
)
@article(carboni1987cartesian,
 author       = {A. Carboni and R.F.C. Walters},
 year         = {1987},
 title        = {Cartesian bicategories I},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 number       = {1},
 pages        = {11 -- 32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@inproceedings(chandra1977optimal,
 author       = {Ashok K Chandra and Philip M Merlin},
 year         = {1977},
 title        = {Optimal implementation of conjunctive queries in relational data bases},
 booktitle    = {Proceedings of the ninth annual ACM symposium on Theory of computing},
 organization = {ACM},
 pages        = {77--90},
 doi          = {10.1145/800105.803397},
)
@article(fong2017decorated,
 author       = {Brendan Fong},
 year         = {2018},
 title        = {Decorated corelations},
 journal      = {Theory and Applications of Categories},
 volume       = {33},
 number       = {22},
 pages        = {608--643},
)
@inproceedings(fong2016categorical,
 author       = {Brendan Fong and Pawe{\l} Soboci{\'n}ski and Paolo Rapisarda},
 year         = {2016},
 title        = {A categorical approach to open and interconnected dynamical systems},
 booktitle    = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
 organization = {ACM},
 pages        = {495--504},
 doi          = {10.1145/2933575.2934556},
)
@article(fong2019hypergraph,
 author       = {Brendan Fong and David I Spivak},
 year         = {2019},
 title        = {Hypergraph categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {223},
 number       = {11},
 pages        = {4746--4777},
 doi          = {10.1016/j.jpaa.2019.02.014},
)
@article(fong2019regular,
 author       = {Brendan Fong and David I Spivak},
 year         = {2019},
 title        = {Regular and relational categories: Revisiting 'Cartesian bicategories I'},
 journal      = {arXiv preprint arXiv:\href{https://arxiv.org/abs/1909.00069}{1909.00069}},
)
@book(freyd1990categories,
 author       = {Peter J Freyd and Andre Scedrov},
 year         = {1990},
 title        = {Categories, allegories},
 publisher    = {Elsevier},
)
@article(Jayewardene2000,
 author       = {Romaine Jayewardene and Oswald Wyler},
 year         = {2000},
 title        = {Categories of Relations and Functional Relations},
 journal      = {Applied Categorical Structures},
 volume       = {8},
 number       = {1},
 pages        = {279--305},
 doi          = {10.1023/A:1008651524610},
)
@article(joyal1991geometry,
 author       = {Andr\'{e} Joyal and Ross Street},
 year         = {1991},
 title        = {The geometry of tensor calculus. {I}},
 journal      = {Adv. Math.},
 volume       = {88},
 number       = {1},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@book(MacLane.Moerdijk:1992a,
 author       = {Saunders MacLane and Ieke Moerdijk},
 year         = {2012},
 title        = {Sheaves in geometry and logic: A first introduction to topos theory},
 publisher    = {Springer Science \& Business Media},
)
@article(moeller2018monoidal,
 author       = {Joe Moeller and Christina Vasilakopoulou},
 year         = {2018},
 title        = {Monoidal grothendieck construction},
 journal      = {arXiv preprint arXiv:\href{https://arxiv.org/abs/1809.00727}{1809.00727}},
)
@article(patterson2017knowledge,
 author       = {Evan Patterson},
 year         = {2017},
 title        = {Knowledge representation in bicategories of relations},
 journal      = {arXiv preprint arXiv:\href{https://arxiv.org/abs/1706.00526}{1706.00526}},
)
@article(schalk1994algebras,
 author       = {Andrea Schalk},
 year         = {1994},
 title        = {Algebras for generalized power constructions},
 journal      = {Bulletin of the European Association for Theoretical Computer Science},
 volume       = {53},
 pages        = {491--491},
 doi          = {10.1016/0167-6423(91)90037-X},
)
@article(Spivak.Schultz.Rupel:2016a,
 author       = {David I. Spivak and Patrick Schultz and Dylan Rupel},
 year         = {2016},
 title        = {String diagrams for traced and compact categories are oriented 1-cobordisms},
 journal      = {Journal of Pure and Applied Algebra},
 doi          = {10.1016/j.jpaa.2016.10.009},
)