Rough Notes
M.P. Fiore.
A 2-categorical note on Day's tensor product.
Note, 2010.
[pdf
file]
M.P. Fiore.
Algebraic Meta-Theories and Synthesis of Equational Logics
.
Research Programme, 2009.
[pdf file]
M.P. Fiore.
Algebraic Type Theory.
Note, 2008.
[pdf
file]
M.P. Fiore.
Algebraic theories and equational logics.
Invited tutorial for the Twenty-fourth Conference on the
Mathematical Foundations of Programming Semantics
(MFPS 24),
University of Pennsylvania (USA), 2008.
[pdf file]
M.P. Fiore.
Generalised Species of Structures: Cartesian
Closed and Differential Structure.
Working draft, 2004.
[pdf
file]
M.P. Fiore.
Rough notes on
presheaves.
Notes for a postgraduate mini-course,
PPS, Université Paris 7 (France),
2001.
[pdf
file]
M.P. Fiore.
Notes on combinatorial functors.
Draft notes, 2001.
[pdf
file]