Icons

Applied Categorical Structures

Volumn 18, Issue 3, 2010, Pages 289-307

  Lack, Stephen ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

2 category; Bicategory; Icon; Oplax natural transformation; Pseudonatural transformation

Indexed keywords

COMPUTER SCIENCE;

2-CATEGORIES; BICATEGORY; ICON; NATURAL TRANSFORMATIONS; PSEUDONATURAL TRANSFORMATION;

ALGEBRA;

EID: 77955548234     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10485-008-9136-5     Document Type: Article

References (20)

1. Bénabou, J.: Introduction to bicategories. In Reports of the Midwest Category Seminar, pp. 1-77. Springer, Berlin (1967)
2. Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. J. Pure Appl. Algebra 59(1), 1-41 (1989)
3. Cheng, E., Gurski, N.: The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories. In: Davydov et al. (ed.) Categories in Algebra, Geometry and Mathematical Physics (=Contemporary Math. 431), pp. 143-164. AMS, Washington, DC (2007)
4. Gordon, R., Power, A.J., Street, R.: Coherence for tricategories.Mem. Am.Math. Soc. 117(558), vi+81 (1995)
5. Grandis, M., Pare, R.: Adjoint for double categories. Addenda to: "Limits in double categories" [Cah. Topol. Géom. Différ. Catég. 40 (1999), no. 3, 162-220].
6. Cah. Topol. Geom. Differ. Categ. 45(3), 193-240 (2004)
7. Gray, J.W.: Formal Category Theory: Adjointness for 2-Categories. Springer, Berlin (1974)
8. Hess, K., Parent, P.-E., Scott, J.: Co-rings over operads characterize morphisms, arXiv:math/ 0505559
9. Kelly, G.M.: Structures defined by finite limits in the enriched context. I. Cah. Topol. Geom. Differ. 23(1), 3-42 (1982)
10. Kelly, G.M., Power, A.J.: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. J. Pure Appl. Algebra 89(1-2), 163-179 (1993)
11. Lack, S.: On the monadicity of finitary monads. J. Pure Appl. Algebra 140(1), 65-73 (1999)
12. Lack, S.: Limits for lax morphisms. Appl. Categ. Structures 13(3), 189-203 (2005)
13. Lack, S., Paoli, S.: 2-nerves for bicategories. Κ-Theory 38(2), 153-175 (2008)
14. Mac Lane, S., Paré, R.: Coherence for bicategories and indexed categories. J. PureAppl.Algebra 37(1), 59-80 (1985)
15. Power, J.: Enriched Lawvere theories. Theory Appl. Categ. 6, 83-93 (1999). (electronic). The Lambek Festschrift
16. Power, J.: Three dimensional monad theory. In: Davydov et al. (ed.) Categories in Algebra, Geometry and Mathematical Physics (=Contemporary Math. 431), pp. 405-426. AMS, Washington, DC (2007)
17. Power, J., Robinson, E.: Premonoidal categories and notions of computation. Math. Struct. Comput. Sci. 7(5), 453-468 (1997). Logic, domains, and programming languages (Darmstadt, 1995)
18. Street, R.: Fibrations in bicategories. Cah. Topol. Geom. Differ. 21(2), 111-160 (1980)
19. Street, R.: Categorical structures. In: Handbook of algebra, vol. 1, pp. 529-577. North-Holland, Amsterdam (1996)
20. Wolff, H.: V-cat and V-graph. J. Pure Appl. Algebra 4, 123-135 (1974)