@Article{Brown87,
  author =   {Brown, R.},
  title =   {From Groups to Groupoids: A Brief Survey},
  journal =   {Bulletin of the London Mathematical Society},
  year =   1987,
  volume =   19,
  pages =   {113--134}}

@inproceedings{CalkFJSZ21,
  author    = {Calk, C. and
               Fahrenberg, U. and
               Johansen, C. and
               Struth, G. and
               Ziemia{\'n}ski, K.},
  title     = {$\ell r$-Multisemigroups, Modal Quantales and the Origin
               of Locality},
  booktitle = {RAMiCS 2021},
  series    = {LNCS},
  volume    = {13027},
  pages     = {90--107},
  publisher = {Springer},
  year      = {2021}
}

@article{CalkGMS22,
  author       = {Cameron Calk and
                  Eric Goubault and
                  Philippe Malbos and
                  Georg Struth},
  title        = {Algebraic coherent confluence and higher globular {K}leene algebras},
  journal      = {Logical Methods in Computer Science},
  volume       = {18},
  number       = {4},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(4:9)2022},
  doi          = {10.46298/lmcs-18(4:9)2022},
  timestamp    = {Tue, 24 Jan 2023 10:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/CalkGMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CalkMPS23,
Author = {Cameron Calk and Philippe Malbos and Damien Pous and Georg Struth},
Title = {Higher Catoids, Higher Quantales and their Correspondences},
Year = {2023},
journal = {arXiv},
volume = {2307.09253},
}

@article{CranchDS20,
  author    = {Cranch, J. and
               Doherty, S. and
               Struth, G.},
  title     = {Relational Semigroups and Object-Free Categories},
  journal   = {arXiv},
  volume    = {2001.11895},
  year      = {2020}
}

@article{DongolGHS17,
  author       = {Brijesh Dongol and
                  Victor B. F. Gomes and
                  Ian J. Hayes and
                  Georg Struth},
  title        = {Partial Semigroups and Convolution Algebras},
  journal      = {Archive of Formal Proofs},
  year         = {2017},
  url          = {https://www.isa-afp.org/entries/PSemigroupsConvolution.shtml},
  timestamp    = {Mon, 25 May 2020 09:13:28 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/DongolGHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{FahrenbergJSZ23,
  author    = {Fahrenberg, Uli and
               Johansen, Christian and
               Struth, Georg and
               Ziemia{\'n}ski, Krzysztof},
  title     = {Catoids and Modal Convolution Algebras},
  journal   = {Algebra Universalis},
  volume = {84},
  pages = {10},
  year      = {2023}
}

@Article{JonssonT52,
  author =   {J\'onsson, B. and Tarski, A.},
  title =   {Boolean Algebras with Operators. {Part {II}}},
  journal =   {American Journal of Mathematics},
  year =   1952,
  volume =   74,
  number =   1,
  pages =   {127--162}}

@Book{MacLane98,
 author = {Mac Lane, S.},
 edition = {Second},
 isbn = {0-387-98403-8},
 mrclass = {18-02},
 mrnumber = {1712872 (2001j:18001)},
 pages = {xii+314},
 publisher = {Springer},
 title = {Categories for the Working Mathematician},
 volume = {5},
 year = {1998}}

@article{Stark16,
  author       = {Eugene W. Stark},
  title        = {Category Theory with Adjunctions and Limits},
  journal      = {Archive of Formal Proofs},
  year         = {2016},
  url          = {https://www.isa-afp.org/entries/Category3.shtml},
  timestamp    = {Mon, 25 May 2020 09:13:24 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/Stark16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}