A monadic approach to polycategories

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 193-218

  Koslowski, J ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); LOGIC PROGRAMMING; MATRIX ALGEBRA; SET THEORY; SYNTACTICS; THEOREM PROVING;

CARTESIAN MONADS; DISTRIBUTIVE LAWS; MUTLICATEGORIES; PULLBACKS;

COMBINATORIAL MATHEMATICS;

EID: 18944369117     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80565-6     Document Type: Conference Paper

References (16)

1. Beck J.M. Distributive laws. Eckmann B. Seminar on Triples and Categorical Homology Theory. 1969;119-140 LNM, Springer-Verlag, Berlin, Heidelberg and New York
2. Burroni A. T-categories (catégories dans un triple). Cahiers Topologie Géom. Différentielle. 12:1971;215-321
3. Carboni A., Johnstone P. Connected limits, familial representability and Artin glueing. Math. Struct in Comp. Sci. 5:1995;441-459
4. Clementino, M. M. and W. Tholen, Metric, topology and multicategory - a common approach, preprint (2001).
5. Cockett J.R.B., Koslowski J., Seely R.A.G. Introduction to linear bicategories. Math. Structures Comput. Sci. 10:2000;165-203
6. Cockett, J. R. B., J. Koslowski and R. A. G. Seely, Morphisms and modules for poly-bicategories, http://www.math.mcgill.ca/rags/bicats/poly.ps.gz (2002), submitted to TAC.
7. Cockett J.R.B., Seely R.A.G. Weakly distributive categories. Fourman M.P., Johnstone P.T., Pitts A.M. Applications of Categories to Computer Science (Durham, 1991). London Math. Soc. Lecture Note Ser. 177:1992;45-65 Cambridge Univ. Press, Cambridge
8. Cockett J.R.B., Seely R.A.G. Weakly distributive categories. J. Pure Appl. Algebra. 114:1997;133-173. corrected version available at http://www.math.mcgill.ca/rags/linear/wdc.ps.gz
9. Hermida C. Representable multicategories. Adv. in Math. 151:2000;164-225
10. Joyal A. Foncteurs analytiques et espèces de structures. Labelle G., Leroux P. Combinatoire énumérative (Montreal, Que., 1985/Quebec, Que., 1985). LNM. 1234:1986;126-159 Springer-Verlag, Berlin, Heidelberg and New York
11. Koslowski J. Monads and interpolads in bicategories. Theory Appl. Categ. 3:1997;182-212
12. Lambek J., Deductive systems and categories. II. Standard constructions and closed categories, in: Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. One), LNM 86, Springer-Verlag, Berlin, Heidelberg and New York, 1969 pp. 76-122.
13. Leinster T., General operads and multicategories, math. CT/9810053 (1998).
14. Leinster T., fc-multicategories, math.CT/9903004 (1999), talk given at PSSL 70 in Cambridge, February 1999.
15. Leinster T. Generalized enrichment of categories. J. Pure Appl. Algebra. 168:2002;391-406
16. Szabo M.E. Polycategories. Comm. Algebra. 3:1975;663-689