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