S. Mac Lane and R. Pare, Coherence in bicategories and indexed categories, J. Pure Appl. Algebra 37 (1985), 59-80. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Descent Equivalence - Guo, Sobral, Tholen (Correct)
Sheaf Representation for Topoi - Awodey (1997) (Correct)
Descent Equivalence - Guo, Sobral, Tholen (Correct)
Functorial Factorization, Well-pointedness and Separability - Janelidze, Tholen (Correct)
On Braidings, Syllepses, and Symmetries - Crans (1998) (Correct)
On the Syntax of Dependent Types and the Coherence Problem.. - Dybjer (1994) (Correct)
A Tensor Product For Gray-Categories - Crans (1999) (Correct)
An ALF Proof of Mac Lane's Coherence Theorem - Beylin (1997) (Correct)
Inheritance As Implicit Coercion - Breazu-Tannen, Coquand, Gunter.. (1991) (14 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC