References

  1. S. Abramsky (2005): Abstract scalars, loops, and free traced and strongly compact closed categories. In: International Conference on Algebra and Coalgebra in Computer Science. Springer, pp. 1–29, doi:10.1007/11548133_1.
  2. F. Bonchi, J. Holland, R. Piedeleu, P. Sobociński & F. Zanasi (2019): Diagrammatic algebra: from linear to concurrent systems. Proceedings of the ACM on Programming Languages 3(POPL), pp. 1–28, doi:10.1145/3290338.
  3. B. Coecke, T. Fritz & R.W. Spekkens (2016): A Mathematical Theory of Resources. Information and Computation 250, pp. 59–86, doi:10.1016/j.ic.2016.02.008.
  4. R. Dawson & R. Paré (2002): What is a Free Double Category Like?. Journal of Pure and Applied Algebra 168(1), pp. 19–34, doi:10.1016/S0022-4049(01)00049-4.
  5. C. Ehresmann (1963): Catégories Structurées. Annales scientifiques de l'École Normale Supérieure 80(4), pp. 349–426, doi:10.24033/asens.1125.
  6. D. Ellerman (1985): The Mathematics of Double Entry Bookkeeping. Mathematics Magazine 58, pp. 226–233, doi:10.2307/2689520.
  7. L. Euler (1741): Solutio Problematis ad Geometriam Situs Pertinentis. Commentarii academiae scientiarum Petropolitanae, pp. 128–140.
  8. M. Fiore, S. Paoli & D. Pronk (2008): Model Structures on the Category of Small Double Categories. Algebraic and Geometric Topology 8(4), pp. 1855–1959, doi:10.2140/agt.2008.8.1855.
  9. A. Gianola, S. Kasangian, D. Manicardi, N. Sabadini, F. Schiavio & S. Tini (2020): CospanSpan(Graph): a Compositional Description of the Heart System. Fundamenta Informaticae 171, pp. 221–237, doi:10.3233/FI-2020-1880.
  10. M. Grandis & R. Paré (2004): Adjoint for Double Categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques 45(3), pp. 193–240. Available at http://www.numdam.org/item/CTGDC_2004__45_3_193_0/.
  11. M. Grandis & R. Paré (2017): Intercategories: A Framework for Three-Dimensional Category Theory. Journal of Pure and Applied Algebra 221(5), pp. 999–1054. Available at https://arxiv.org/abs/1412.0212.
  12. A. Joyal & R. Street (1991): The Geometry of Tensor Calculus I. Advances in Mathematics 88(1), pp. 55 – 112, doi:10.1016/0001-8708(91)90003-P.
  13. A. Joyal, R. Street & D. Verity (1996): Traced Monoidal Categories. Mathematical Proceedings of the Cambridge Philosophical Society 119, pp. 447–468, doi:10.1017/S0305004100074338.
  14. P. Katis, N. Sabadini & R.F.C Walters (1997): Span(Graph): A Categorical Algebra of Transition Systems. In: Intnational Conference on Algebraic Methodology and Software Technology. Springer, Berlin, Heidelberg, pp. 307–321, doi:10.1007/BFb0000479.
  15. P. Katis, N. Sabadini & R.F.C. Walters (1998): On Partita Doppia. Available at https://arxiv.org/abs/0803.2429.
  16. P. Katis, N. Sabadini & R.F.C. Walters (2000): A Formalization of the IWIM Model. In: International Conference on Coordination Languages and Models. Springer, pp. 267–283, doi:10.1007/3-540-45263-X_17.
  17. D.J. Myers (2016): String Diagrams For Double Categories and Equipments. Available at https://arxiv.org/abs/1612.02762.
  18. C. Nester (2021): A Foundation for Ledger Structures. In: International Conference on Blockchain Economics, Security and Protocols, Open Access Series in Informatics (OASIcs) 82, pp. 7:1–7:13, doi:10.4230/OASIcs.Tokenomics.2020.7.
  19. C. Nester (2021): The Structure of Concurrent Process Histories. In: International Conference on Coordination Models and Languages, pp. 209–224, doi:10.1007/978-3-030-78142-2_13.
  20. M. Shulman (2008): Framed Bicategories and Monoidal Fibrations. Theory and Applications of Categories 20(18), pp. 650–738. Available at http://www.tac.mta.ca/tac/volumes/20/18/20-18abs.html.
  21. M. Shulman (2010): Constructing Symmetric Monoidal Bicategories. Available at https://arxiv.org/abs/1004.0993.
  22. R. J. Wood (1982): Abstract Pro Arrows I. Cahiers de Topologie et Géométrie Différentielle Catégoriques 23(3), pp. 279–290. Available at http://www.numdam.org/item/CTGDC_1982__23_3_279_0/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org