Skip Navigation



Journal of the London Mathematical Society Advance Access published online on December 20, 2007
Journal of the London Mathematical Society, doi:10.1112/jlms/jdm096
This Article
Right arrow Full Text (PDF)
Right arrow All Versions of this Article:
77/1/203    most recent
jdm096v1
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Fiore, M.
Right arrow Articles by Hyland, M.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© 2007 London Mathematical Society

The cartesian closed bicategory of generalised species of structures

M. Fiore and G. Winskel

Computer Laboratory
University of Cambridge
15 JJ Thomson Avenue
Cambridge
CB3 0FD
United Kingdom
Glynn.Winskel{at}cl.cam.ac.uk

N. Gambino

Laboratoire de Combinatoire et Informatique Mathématique
Départements de Mathématiques et d’Informatique
Université du Québec à Montréal
Case Postale 8888
Succursale Centre-Ville
Montréal QC H3C 3P8
Canada
nicola.gambino{at}gmail.com

M. Hyland

DPMMS
University of Cambridge
Wilberforce Road
Cambridge
CB3 0WA
United Kingdom
M.Hyland{at}dpmms.cam.ac.uk

The concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species considered in the literature — including of course Joyal's original notion — together with their associated substitution operation. Our first main result exhibits the substitution calculus of generalised species as arising from a Kleisli bicategory for a pseudo-comonad on profunctors. Our second main result establishes that the bicategory of generalised species of structures is cartesian closed.

2000 Mathematics Subject Classification 18D05 (primary), 18D15, 18D50, 18F20, 03F52, 05A99 (secondary).

Received January 22, 2007;
Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.