A monadic approach to polycategories

Theory and Applications of Categories

Volumn 14, Issue 7, 2005, Pages

  Koslowski, Jürgen ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

(cartesian) distributive law; (planar) polycategory; Associative double semigroup; Cartesian monad; Fc polycategory; Multicategory; S T span

Indexed keywords

EID: 27844479640     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)

1. [Bec69] Jon M. Beck. Distributive laws. In B. Eckmann, editor, Seminar on Triples and Categorical Homology Theory, volume 80 of LNM, pages 119-140. Springer-Verlag, Berlin, Heidelberg and New York, 1969.
2. [Bur71] Albert Burroni. T-categories (catégories dans un triple). Cahiers Topologie Géom. Différentielle, 12(3):215-321, 1971.
3. [Bur73] Elisabeth Burroni. Algebres non deterministiques et D-categories. Cahiers Topologie Géom. Différentielle, 14(4):417-475, 1973?
4. [CJ95] Aurelio Carboni and Peter Johnstone. Connected limits, familial representability and Artin glueing. Math. Structures Comp. Sci., 5:441-459, 1995.
5. [CKS00] J. R. B. Cockett, J. Koslowski, and R. A. G. Seely. Introduction to linear bicategories. Math. Structures Comput. Sci., 10:165-203, 2000.
6. [CKS03] J. R. B. Cockett, J. Koslowski, and R. A. G. Seely. Morphisms and modules for poly-bicategories. Theory and Applications of Categories, 11(2):15-74, 2003.
7. [CS92] J. R. B. Cockett and R. A. G. Seely. Weakly distributive categories. In M. P. Fourman, P. T. Johnstone, and A. M. Pitts, editors, Applications of Categories to Computer Science (Durham, 1991), volume 177 of London Math. Soc. Lecture Note Ser., pages 45-65. Cambridge Univ. Press, Cambridge, 1992.
8. [CS97] J. R. B. Cockett and R. A. G. Seely. Weakly distributive categories (corrected version at http://www.math.mcgill.ca/rags/linear/wdc.ps. gz). J. Pure Appl. Algebra, 114:133-173, 1997.
9. [CT03] Maria Manuel Clementino and Walter Tholen. Metric, topology and multicategory - a common approach. J. Pure Appl. Algebra, 179:13-47, 2003.
10. [Her00] Claudio Hermida. Representable multicategories. Adv. in Math., 151:164-225, 2000.
11. [Kos97] Jürgen Koslowski. Monads and interpolads in bicategories. Theory and Applications of Categories, 3(8): 182-212, 1997.
12. [Lam69] Joachim Lambek. 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), volume 86 of LNM, pages 76-122. Springer-Verlag, Berlin, Heidelberg and New York, 1969.
13. [Lei98] Tom Leinster. General operads and multicategories. math.CT/9810053, 1998.
14. [Lei99] Tom Leinster. fc-multicategories. math.CT/9903004, 1999. Talk given at PSSL 70 in Cambridge, February 1999.
15. [Lei02] Tom Leinster. Generalized enrichment of categories. J. Pure Appl. Algebra, 168(2-3):391-406, 2002.
16. [Red74] Ellen Redi. Onesided ideals of symmetric polycategories. Tartu Riikl. Ül. Toimetised, (336):31-61, 1974.
17. [Sza75] M. E. Szabo. Polycategories. Comm. Algebra, 3:663-689, 1975.