✓

@Book{            2018arXiv180305316F,
  Author        = "{Fong}, Brendan and {Spivak}, David I",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "https://ui.adsabs.harvard.edu/abs/2018arXiv180305316F",
  ArchivePrefix = "arXiv",
  date-added    = "2023-02-18 18:34:15 +0100",
  date-modified = "2023-02-18 18:34:19 +0100",
  DOI           = "10.48550/arXiv.1803.05316",
  EID           = "arXiv:1803.05316",
  EPrint        = "1803.05316",
  Journal       = "arXiv e-prints",
  Keywords      = "Mathematics - Category Theory, 18-01",
  Month         = "March",
  Pages         = "arXiv:1803.05316",
  PrimaryClass  = "math.CT",
  Title         = "{Seven Sketches in Compositionality: An Invitation to Applied Category Theory}",
  Year          = "2018",
  bdsk-url-1    = "https://doi.org/10.48550/arXiv.1803.05316",
  File          = "Seven Sketches in Compositionality- An Invitation to Applied Category Theory - 1803.05316 - a.pdf"
}

@Book{ 2018arXiv180305316F, Author = "{Fong}, Brendan and {Spivak}, David I", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "https://ui.adsabs.harvard.edu/abs/2018arXiv180305316F", ArchivePrefix = "arXiv", date-added = "2023-02-18 18:34:15 +0100", date-modified = "2023-02-18 18:34:19 +0100", DOI = "10.48550/arXiv.1803.05316", EID = "arXiv:1803.05316", EPrint = "1803.05316", Journal = "arXiv e-prints", Keywords = "Mathematics - Category Theory, 18-01", Month = "March", Pages = "arXiv:1803.05316", PrimaryClass = "math.CT", Title = "{Seven Sketches in Compositionality: An Invitation to Applied Category Theory}", Year = "2018", bdsk-url-1 = "https://doi.org/10.48550/arXiv.1803.05316", File = "Seven Sketches in Compositionality- An Invitation to Applied Category Theory - 1803.05316 - a.pdf" }