[1] |
1 H. Applegate & M. Tierney , Categories with models , Lecture Notes in Math. 80 , Springer ( 1969 ), 156 - 244 . MR 242916 | Zbl 0188.28204 · Zbl 0188.28204 |
[2] |
2 H. Applegate & M. Tierney , Iterated cotriples , Lecture Notes in Math. 137 Springer ( 1970 ), 56 - 99 . MR 265429 | Zbl 0319.18004 · Zbl 0319.18004 |
[3] |
3 M. Barr , The point of the empty set , Cahiers Top. et Géo. Diff. XIII - 1 ( 1972 ), 357 - 368 . Numdam | MR 323861 | Zbl 0258.18003 · Zbl 0258.18003 |
[4] |
4 J. Beck , Distributive laws , Lecture Notes in Math. 80 , Springer ( 1969 ), 119 - 140 . MR 241502 | Zbl 0186.02902 · Zbl 0186.02902 |
[5] |
5 B. Day , On adjoint-functor factorization , Lecture Notes in Math. 420 , Springer ( 1974 ), 1 - 19 . MR 396717 | Zbl 0367.18004 · Zbl 0367.18004 |
[6] |
6 P. Freyd , Aspects of topoi , Bull. Austral. Math. Soc. 7 ( 1972 ), 1 - 76 . MR 396714 | Zbl 0252.18001 · Zbl 0252.18001 · doi:10.1017/S0004972700044828 |
[7] |
7 P. F Reyd & M. Kelly , Categories of continuous functors, I , J. Pure & App. Algebra 2 ( 1972 ), 169 - 191 . MR 322004 | Zbl 0257.18005 · Zbl 0257.18005 · doi:10.1016/0022-4049(72)90001-1 |
[8] |
8 P. Gabriel & G. Ulmer , Lokal präsentierbare Kategorien , Lecture Notes in Math. 221 , Springer ( 1971 ). MR 327863 | Zbl 0225.18004 · Zbl 0225.18004 · doi:10.1007/BFb0059396 |
[9] |
9 J. Gray , Formal category theory: Adjointness for 2-categories , Lecture Notes in Math. 391 , Springer ( 1974 ). MR 371990 | Zbl 0285.18006 · Zbl 0285.18006 |
[10] |
10 S. Hayden & J. Kennison , Zermelo-Fraenkel set theory , Merrill Press 1968 . MR 233704 | Zbl 0179.01501 · Zbl 0179.01501 |
[11] |
11 H. Herrlich & G. Strecker , Category theory , Heldermann , 1979 . MR 571016 | Zbl 0437.18001 · Zbl 0437.18001 |
[12] |
12 J. Isbell , General functorial semantics, I , Amer. J. Math. 94 ( 1972 ), 535 - 596 . MR 396718 | Zbl 0439.18009 · Zbl 0439.18009 · doi:10.2307/2374638 |
[13] |
13 J. Isbell , Structure of categories , Bull. A.M.S. 72 ( 1966 ), 619 - 655 . Article | MR 206071 | Zbl 0142.25401 · Zbl 0142.25401 · doi:10.1090/S0002-9904-1966-11541-0 |
[14] |
14 M. Kelly , Monomorphisms, epimorphsims and pullbacks , J. Austral. Math. Soc. 9 ( 1969 ), 124 - 142 . MR 240161 | Zbl 0169.32604 · Zbl 0169.32604 · doi:10.1017/S1446788700005693 |
[15] |
15 J. Macdonald , Cohomology operations in a category , J. Pure & App. Alg. 19 ( 1980 ), 275 - 297 . MR 593257 | Zbl 0482.55018 · Zbl 0482.55018 · doi:10.1016/0022-4049(80)90104-8 |
[16] |
16 S. Maclane , Categories for the working mathematician , Springer , 1971 . MR 354798 | Zbl 0705.18001 · Zbl 0705.18001 |
[17] |
17 J. Monk , Mathematical Logic , Springer , 1976 . MR 465767 | Zbl 0354.02002 · Zbl 0354.02002 |
[18] |
18 H. Schubert , Categories , Springer , 1972 . MR 349793 | Zbl 0253.18002 · Zbl 0253.18002 |
[19] |
19 A. Stone , The heights of adjoint towers , A.M.S. Notices 21 ( 1974 ), A -81. |
[20] |
20 R. Street , Cosmoi of internal categories , Trans. A.M.S. 258 ( 1980 ), 271 - 318 . MR 558176 | Zbl 0393.18009 · Zbl 0393.18009 · doi:10.2307/1998059 |
[21] |
21 F. Ulmer , Locally \alpha -presentable and locally \alpha -generated categories , Lecture Notes in Math. 195 , Springer ( 1971 ), 230 - 247 . Zbl 0225.18005 · Zbl 0225.18005 |