References Levy

P. Freyd.  Algebra valued functors in general and tensor products in particular, Colloquium Mathematicum 1966

G. M. Kelly.  A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on, Bulletin of the Australian Mathematical Society, 1980

J. M. E. Hyland, G. D. Plotkin, A. J. Power.  Combining effects: Sum and Tensor, Theoretical Computer Science, 2006

J. Adamek, N. Bowler, P. B. Levy, S. Milius, Coproducts of monads on  Set.  Logic in Computer Science, 2012

N. Bowler, S. Goncharov, P. B. Levy, L. Schroeder, Exploring the  Boundaries of Monad Tensorability on Set, Logical Methods in Computer  Science, 2013


Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Postgraduate Taught:

Postgraduate Research:

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.