@book(AM:MFSHA,
 author       = {Marcelo Aguiar and Swapneel Mahajan},
 year         = {2010},
 title        = {Monoidal Functors, Species and Hopf Algebras},
 series       = {CRM monograph series},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/crmm/029},
)
@article(ACU:MNE,
 author       = {Thorsten Altenkirch and James Chapman and Tarmo Uustalu},
 year         = {2015},
 title        = {{Monads need not be endofunctors}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 11, Issue 1}},
 doi          = {10.2168/LMCS-11(1:3)2015},
)
@article(Atk:WCMA,
 author       = {Robert Atkey},
 year         = {2011},
 title        = {What is a Categorical Model of Arrows?},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {229},
 number       = {5},
 pages        = {19 -- 37},
 doi          = {10.1016/j.entcs.2011.02.014},
 note         = {Proceedings of the Second Workshop on Mathematically Structured Functional Programming (MSFP 2008)},
)
@article(BT:CIPPL,
 author       = {Geraldine Brady and Todd H. Trimble},
 year         = {2000},
 title        = {A categorical interpretation of C.S. Peirce's propositional logic Alpha},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {149},
 number       = {3},
 pages        = {213 -- 239},
 doi          = {10.1016/S0022-4049(98)00179-0},
)
@inproceedings(FS:LOAS,
 author       = {Marcelo Fiore and Philip Saville},
 year         = {2017},
 title        = {{List Objects with Algebraic Structure}},
 editor       = {Dale Miller},
 booktitle    = {2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {84},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {16:1--16:18},
 doi          = {10.4230/LIPIcs.FSCD.2017.16},
)
@book(GZ:CFHT,
 author       = {P. Gabriel and M. Zisman},
 year         = {1967},
 title        = {Calculus of fractions and homotopy theory},
 series       = {Ergebnisse der Mathematik und ihrer Grenzgebiete},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-3-642-85844-4},
)
@article(Hug:GMA,
 author       = {John Hughes},
 year         = {2000},
 title        = {Generalising monads to arrows},
 journal      = {Science of Computer Programming},
 volume       = {37},
 number       = {1},
 pages        = {67 -- 111},
 doi          = {10.1016/S0167-6423(99)00023-4},
)
@article(JHH:CSA,
 author       = {Bart Jacobs and Chris Heunen and Ichiro Hasuo},
 year         = {2009},
 title        = {Categorical Semantics for Arrows},
 journal      = {J. Funct. Program.},
 volume       = {19},
 number       = {3-4},
 pages        = {403--438},
 doi          = {10.1017/S0956796809007308},
)
@inproceedings(Kel:DA,
 author       = {G. M. Kelly},
 year         = {1974},
 title        = {Doctrinal adjunction},
 editor       = {Gregory M. Kelly},
 booktitle    = {Category Seminar},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {257--280},
 doi          = {10.1007/BFb0063105},
)
@article(LPT:MECBVPL,
 author       = {Paul Blain Levy and John Power and Hayo Thielecke},
 year         = {2003},
 title        = {Modelling environments in call-by-value programming languages},
 journal      = {Information and Computation},
 volume       = {185},
 number       = {2},
 pages        = {182 -- 210},
 doi          = {10.1016/S0890-5401(03)00088-9},
)
@article(LWY:IOAMMP,
 author       = {Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2011},
 title        = {Idioms Are Oblivious, Arrows Are Meticulous, Monads Are Promiscuous},
 journal      = {Electronic Notes Theoretical Computer Science},
 volume       = {229},
 number       = {5},
 pages        = {97--117},
 doi          = {10.1016/j.entcs.2011.02.018},
)
@article(Lor:TCC,
 author       = {F. {Loregian}},
 year         = {2015},
 title        = {{This is the (co)end, my only (co)friend}},
 journal      = {ArXiv e-prints},
 url          = {https://arxiv.org/abs/1501.02503},
)
@book(MacL:CWM,
 author       = {Mac Lane, Saunders},
 year         = {1971},
 title        = {Categories for the Working Mathematician},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4612-9839-7},
 note         = {Second edition, 1998},
)
@article(MBP:APE,
 author       = {Conor McBride and Ross Paterson},
 year         = {2008},
 title        = {Applicative Programming with Effects},
 journal      = {J. Funct. Program.},
 volume       = {18},
 number       = {1},
 pages        = {1--13},
 doi          = {10.1017/S0956796807006326},
)
@article(Moe:MTC,
 author       = {I. Moerdijk},
 year         = {2002},
 title        = {Monads on tensor categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {168},
 number       = {2},
 pages        = {189 -- 208},
 doi          = {10.1016/S0022-4049(01)00096-2},
 note         = {Category Theory 1999: selected papers, conference held in Coimbra in honour of the 90th birthday of Saunders Mac Lane},
)
@article(PS:DMC,
 author       = {Craig Pastro and Ross Street},
 year         = {2008},
 title        = {Doubles for monoidal categories},
 journal      = {Theory and {A}pplications of {C}ategories},
 volume       = {21},
 pages        = {61--75},
 url          = {http://www.tac.mta.ca/tac/volumes/21/4/21-04abs.html},
)
@techreport(PSR:HNMC,
 author       = {Ruben P. Pieters and Tom Schrijvers and Exequiel Rivas},
 year         = {2017},
 title        = {Handlers for Non-Monadic Computations (Extended Version)},
 type         = {Technical Report},
 url          = {http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW713.abs.html},
 note         = {Presented at IFL2017},
)
@article(PS:GSD,
 author       = {Hans-E. Porst and Ross Street},
 year         = {2016},
 title        = {Generalizations of the Sweedler Dual},
 journal      = {Applied Categorical Structures},
 volume       = {24},
 number       = {5},
 pages        = {619--647},
 doi          = {10.1007/s10485-016-9450-2},
)
@article(RJ:NCM,
 author       = {Exequiel Rivas and Mauro Jaskelioff},
 year         = {2017},
 title        = {Notions of computation as monoids},
 journal      = {Journal of Functional Programming},
 volume       = {27},
 pages        = {e21},
 doi          = {10.1017/S0956796817000132},
)