Continuous lattices DS Scott Toposes, algebraic geometry and logic 274, 97-136, 1972 | 1357 | 1972 |
An extension of the Galois theory of Grothendieck A Joyal, M Tierney American Mathematical Soc., 1984 | 748 | 1984 |
Distributive laws H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 119-140, 1969 | 590 | 1969 |
Quasi-categories vs Segal spaces A Joyal, M Tierney Contemporary Mathematics 431 (277-326), 10, 2007 | 360 | 2007 |
Homology and standard constructions H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 245-335, 1969 | 313 | 1969 |
Coequalizers in categories of algebras H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 75-90, 1969 | 154 | 1969 |
Deductive systems and categories III: Cartesian closed categories, intuitionist propositional calculus, and combinatory logic J Lambek Toposes, algebraic geometry and logic 274, 57-82, 1972 | 144 | 1972 |
Strong stacks and classifying spaces A Joyal, M Tierney Category Theory: Proceedings of the International Conference held in Como …, 2006 | 136 | 2006 |
A triple theoretic construction of compact algebras H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 91-118, 1969 | 135 | 1969 |
Ordinal sums and equational doctrines H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 141-155, 1969 | 130 | 1969 |
Sheaf theory and the continuum hypothesis I Bucur, J Giraud, N Goodman, J Myhill, L Illusie, J Lambek, DS Scott, ... Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax …, 1972 | 129 | 1972 |
An outline of functorial semantics H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 7-52, 1969 | 126 | 1969 |
Enriched functor categories M Barr, P Berthiaume, BJ Day, J Duskin, S Feferman, GM Kelly, ... Reports of the Midwest Category Seminar III, 178-191, 1969 | 108 | 1969 |
Set-theoretical foundations of category theory M Barr, P Berthiaume, BJ Day, J Duskin, S Feferman, GM Kelly, ... Reports of the midwest category seminar III, 201-247, 1969 | 103 | 1969 |
Adjunction for enriched categories M Barr, P Berthiaume, BJ Day, J Duskin, S Feferman, GM Kelly, ... Reports of the Midwest Category Seminar III, 166-177, 1969 | 93 | 1969 |
Variations on Beck's tripleability criterion M Barr, P Berthiaume, BJ Day, J Duskin, S Feferman, GM Kelly, ... Reports of the Midwest Category Seminar III, 74-129, 1969 | 73 | 1969 |
One universe as a foundation for category theory M Barr, P Berthiaume, BJ Day, J Duskin, S Feferman, GM Kelly, ... Reports of the midwest category seminar III, 192-200, 1969 | 71 | 1969 |
Categories with models H Appelgate, M Barr, J Beck, FW Lawvere, FEJ Linton, E Manes, ... Seminar on Triples and Categorical Homology Theory: ETH 1966/67, 156-244, 1969 | 67 | 1969 |
Notes on simplicial homotopy theory A Joyal, M Tierney Preprint, 2008 | 51 | 2008 |
Axiomatic sheaf theory: some constructions and applications M Tierney Categories and commutative algebra, 249-326, 1973 | 49 | 1973 |