Mathematical Models of Abstract Systems: Knowing abstract geometric forms

 Access to full text

1. Publications of Witold Hurewicz.— In Collected works of Witold Hurewicz, pages xlvii-lii, Amer. Math. Soc., Providence, RI (1995). Zbl0831.01017MR1362795
2. Awodey (S.) and Warren (M. A.).— Homotopy theoretic models of identity types, Math. Proc. Cambridge Philos. Soc., 146(1), p. 45-55 (2009). Zbl1205.03065MR2461866
3. Batanin (M. A.).— Monoidal globular categories as a natural environment for the theory of weak n-categories, Adv. Math., 136(1), p. 39-103 (1998). Zbl0912.18006MR1623672
4. Baues (H. J.).— Algebraic homotopy, volume 15 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge (1989). Zbl0688.55001MR985099
5. Baues (H. J.).— Homotopy type and homology, Clarendon Press, Oxford (1996), Oxford Science Publications. Zbl0857.55001MR1404516
6. Baues (H. J.).— Combinatorial foundation of homology and homotopy, Springer Monographs in Mathematics. Springer-Verlag, Berlin (1999). Applications to spaces, diagrams, transformation groups, compactifications, differential algebras, algebraic theories, simplicial objects, and resolutions. Zbl0920.55001MR1707308
7. Baues (H. J.).— Atoms of topology, Jahresber. Deutsch. Math.-Verein., 104(4), p. 147-164 (2002). Zbl1013.55001MR1954197
8. Baues (H. J.).— The homotopy category of simply connected 4-manifolds, volume 297 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2003). With an appendix On the cohomology of the category nil" by Teimuraz Pirashvili. Zbl1039.55009MR1996198
9. Benkhalifa (M.).— The certain exact sequence of Whitehead (J. H. C.) and the classification of homotopy types of CW-complexes. Topology Appl., 157(14), p. 2240-2250 (2010). Zbl1200.55011MR2670500
10. Berger (C.).— Double loop spaces, braided monoidal categories and algebraic 3-type of space. In Higher homotopy structures in topology and mathematical physics (Poughkeepsie, NY, 1996), volume 227 of Contemp. Math., p. 49-66. Amer. Math. Soc., Providence, RI (1999). Zbl1010.55008MR1665460
11. Bergner (J. E.).— Three models for the homotopy theory of homotopy theories. Topology, 46(4), p. 397-436 (2007). Zbl1119.55010MR2321038
12. Biedermann (G.).— On the homotopy theory of n-types. Homology, Homotopy Appl., 10(1), p. 305-325 (2008). Zbl1138.55015MR2399476
13. Bourbaki (N.).— General topology. Chapters 1-4. Elements of Mathematics (Berlin). Springer-Verlag, Berlin (1998). Translated from the French, Reprint of the 1989 English translation. Zbl0673.00001MR979294
14. Bourbaki (N.).— General topology. Chapters 5-10. Elements of Mathematics (Berlin). Springer-Verlag, Berlin (1998). Translated from the French, Reprint of the 1989 English translation. Zbl0683.54003MR979295
15. Brouwer (L. E. J.).— Collected works, Vol. 2. North-Holland Publishing Co., Amsterdam (1976). Geometry, analysis, topology and mechanics, Edited by Hans Freudenthal. MR505088
16. Brown Jr. (E. H.).— Abstract homotopy theory. Trans. Amer. Math. Soc., 119, p. 79-85 (1965). Zbl0129.15301MR182970
17. Brown (K. S.).— Abstract homotopy theory and generalized sheaf cohomology. Trans. Amer. Math. Soc., 186, p. 419-458 (1974). Zbl0245.55007MR341469
18. Brown (R.).— From groups to groupoids: a brief survey. Bull. London Math. Soc., 19(2), p. 113-134 (1987). Zbl0612.20032MR872125
19. Brown (R.).— Computing homotopy types using crossed $n$-cubes of groups. In Adams Memorial Symposium on Algebraic Topology, 1 (Manchester, 1990), volume 175 of London Math. Soc. Lecture Note Ser., pages 187-210. Cambridge Univ. Press, Cambridge (1992). Zbl0755.55006MR1170579
20. Brown (R.).— Groupoids and crossed objects in algebraic topology. Homology Homotopy Appl., 1, p. 1-78 (electronic) (1999). Zbl0920.55002MR1691707
21. Brown (R.).— Topology and Groupoids. Booksurge (2006). Zbl1093.55001MR2273730
22. Brown (R.).— A new higher homotopy groupoid: the fundamental globular $\omega$-groupoid of a filtered space. Homology, Homotopy Appl., 10(1), p. 327-343 (2008). Zbl1141.18007MR2399477
23. Brown (R.) and Gilbert (N. D.).— Algebraic models of 3-types and automorphism structures for crossed modules. Proc. London Math. Soc. (3), 59(1), p. 51-73 (1989). Zbl0645.18007MR997251
24. Brown (R.) and Higgins (P. J.).— The classifying space of a crossed complex. Math. Proc. Cambridge Philos. Soc., 110(1), p. 95-120 (1991). Zbl0732.55007MR1104605
25. Bunge (M. A.).— Treatise on basic philosophy: Volume 7-epistemology & methodology iii: Philosophy of science and technology – part ii: Life science, social science and technology (1985). 
26. Cisinski (D.C.).— Presheaves as models for homotopy types. Asterisque (2006). Zbl1111.18008MR2294028
27. Cisinski (D.C.).— Batanin higher groupoids and homotopy types. In Categories in algebra, geometry and mathematical physics, volume 431 of Contemp. Math., pages 171-186. Amer. Math. Soc., Providence, RI (2007). Zbl1131.55010MR2342828
28. Contessa (G.).— Scientific models and fictional objects. Synthese, 172(2), p. 215-229 (2010). MR2574556
29. Dieudonné (J.).— A history of algebraic and differential topology, 1900-1960. Birkhäuser, Boston (1989). Zbl0673.55002MR995842
30. Dugger (D.).— Universal homotopy theories. Adv. Math., 164(1),144-176 (2001). Zbl1009.55011MR1870515
31. Dwyer (W. G.), Hirschhorn (P. S.), Kan (D. M.), and Smith (J. H.).— Homotopy Limit Functors on Model Categories and Homotopical Categories, volume 113 of Mathematical Surveys and Monographs. American Mathematical Society, Providence: Rhodes Island (2004). Zbl1072.18012MR2102294
32. Dwyer (W. G.), Spalinski (J.).— Homotopy theories and model categories. In I. M. James, editor, Handbook of Algebraic Topology, p. 73-126. Elsevier, Amsterdam (1995). Zbl0869.55018MR1361887
33. Eilenberg (S.) and Mac Lane (S.).— A general theory of natural equivalences. Trans. Amer. Math. Soc., 58, p. 231-294 (1945). Zbl0061.09204MR13131
34. Eilenberg (S.) and Steenrod (N.).— Foundations of algebraic topology. Princeton University Press, Princeton, New Jersey (1952). Zbl0047.41402MR50886
35. Fox (R. H.).— On homotopy type and deformation retracts. Ann. of Math. (2), 44, p. 40-50 (1943). Zbl0060.41301MR7980
36. Fox (R. H.).— On the Lusternik-Schnirelmann category. Ann. of Math. (2), 42, p. 333-370 (1941). Zbl0027.43104MR4108
37. Freyd (P.).— Homotopy is not concrete. Reprints in Theory and Applications of Categories, (6), p. 1-10 (electronic) (2004). Zbl1057.18001MR2118307
38. Frigg (R.).— Models and fiction. Synthese, 172(2), p. 251-268 (2010). 
39. Giere (R. N.).— Using models to represent reality. In Model-based reasoning in scientific discovery, p. 41-57. Springer (1999). 
40. Goerss (P.) and Jardine (J. F.).— Simplicial Homotopy Theory. Progress in Mathematics. Birkhäuser, Boston (1999). Zbl0949.55001MR1711612
41. Hatcher (A.).— Algebraic Topology. Cambridge University Press, Cambridge (2002). Zbl1044.55001MR1867354
42. Heller (A.).— Completions in abstract homotopy theory. Trans. Amer. Math. Soc., 147, p. 573-602 (1970). Zbl0202.22804MR258029
43. Hess (K.).— Model categories in algebraic topology. Applied Categorical Structures, 10, p. 195-220 (2002). Zbl0997.55001MR1916154
44. Hovey (M.).— Model Categories, volume 63 of Mathematical Surveys and Monographs. American Mathematical Society, Providence (1999). Zbl0909.55001MR1650134
45. James (I. M.).— From combinatorial topology to algebraic topology. In History of topology, p. 561-573. North-Holland, Amsterdam (1999). Zbl0956.55001MR1721114
46. Jardine (J. F.).— Homotopy and homotopical algebra. In M. Hazewinkel, editor, Handbook of Algebra, volume 1, p. 639-669. Elsevier (1996). Zbl0883.18001MR1421814
47. Jardine (J. F.).— Categorical homotopy theory. Homology Homotopy and Applications, 8, 71-144 (2006). Zbl1087.18009MR2205215
48. Joyal (A.).— Notes on quasi-categories. Zbl1015.18008
49. Joyal (A.) and Kock (J.).— Weak units and homotopy 3-types. In Categories in algebra, geometry and mathematical physics, volume 431 of Contemp. Math., p. 257-276. Amer. Math. Soc., Providence, RI (2007). Zbl1137.18004MR2342833
50. Kan (D. M.).— Abstract homotopy. I. Proc. Nat. Acad. Sci. U.S.A., 41, p. 1092-1096 (1955). Zbl0065.38601MR79762
51. Kan (D. M.).— Abstract homotopy. II. Proc. Nat. Acad. Sci. U.S.A., 42, p. 255-258) (1956). Zbl0071.16702MR79763
52. Kan (D. M.).— Abstract homotopy. III. Proc. Nat. Acad. Sci. U.S.A., 42, p. 419-421 (1956). Zbl0071.16801MR87937
53. Kan (D. M.).— Abstract homotopy. IV. Proc. Nat. Acad. Sci. U.S.A., 42, p. 542-544 (1956). Zbl0071.16901MR87938
54. Kapranov (M. M.), Voevodsky (V. A.).— 1-groupoids and homotopy types. Cahiers Topologie Géom. Différentielle Catég., 32(1), p. 29-46 (1991). International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990). Zbl0754.18008MR1130401
55. L. Kelley (J. L.).— General topology. D. Van Nostrand Company, Inc., Toronto-New York-London (1955). Zbl0066.16604MR70144
56. Kroes (P. A.).— Technical artefacts: creations of mind and matter: a philosophy of engineering design, volume 6. Springer (2012). 
57. Kroes (P. A.), Meijers (A. W. M.)pointir The dual nature of technical artefacts. Studies in History and Philosophy of Science, 37(1), p. 1 (2006). 
58. Krömer (R.).— Tool and object, volume 32 of Science Networks. Historical Studies. Birkhäuser Verlag, Basel (2007). A history and philosophy of category theory. Zbl1114.18001MR2272843
59. Leng (M.).— Mathematics and reality. Oxford University Press, Oxford (2010). Zbl1264.00014MR2762574
60. Mac Lane (S.).— Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New York, second edition (1998). Zbl0906.18001MR354798
61. Mac Lane (S.) and Whitehead (J. H. C.).— On the 3-type of a complex. Proc. Nat. Acad. Sci. U. S. A., 36, p. 41-48 (1950). Zbl0035.39001MR1528667
62. Maltsiniotis (G.).— La théorie de l’homotopie de Grothendieck. Astérisque, (301), p. vi+140 (2005). Zbl1104.18005MR2200690
63. Marquis (J.-P.).— A path to the epistemology of mathematics: homotopy theory. In José Ferreirós and Jeremy J Gray, editors, The Architecture of Modern Mathematics, p. 239-260. Oxford Univ. Press (2006). Zbl1126.01016MR2258022
64. Marquis (J.-P.).— From a geometrical point of view, volume 14 of Logic, Epistemology, and the Unity of Science. Springer, Dordrecht (2009). A study of the history and philosophy of category theory. Zbl1165.18002MR2730089
65. Marquis (J.-P.).— Mario bunge’s philosophy of mathematics: An appraisal. Science & Education, 21(10), p. 1567-1594 (2012). 
66. Morel (F.), Voevodsky (V.).— ${\mathbf{A}}^1$-homotopy theory of schemes. Inst. Hautes Études Sci. Publ. Math., (90), p. 45-143 (1999). Zbl0983.14007MR1813224
67. Morgan (M.S.) and M. Morrison (M.).— Models As Mediators: Perspectives on Natural and Social Science. Ideas in Context. Cambridge University Press (1999). 
68. Mumford (D.).— Trends in the profession of mathematics. Mitt. Dtsch. Math.-Ver., (2), p. 25-29 (1998). Zbl1288.00054MR1631396
69. Munkres (J. R.).— Topology: a first course. Prentice-Hall Inc., Englewood Cliffs, N.J. (1975). Zbl0306.54001MR464128
70. Noohi (B.).— Notes on 2-groupoids, 2-groups and crossed-modules. Homotopy, Homology, and Applications, 9(1), p. 75-106 (2007). Zbl1221.18002MR2280287
71. Paoli (S.).— Semistrict models of connected 3-types and Tamsamani’s weak 3-groupoids. J. Pure Appl. Algebra, 211(3), p. 801-820 (2007). Zbl1144.55009MR2344230
72. Paoli (S.).— Internal categorical structures in homotopical algebra. In John C. Baez et al., editor, Towards higher categories, volume 152 of The IMA Volumes in Mathematics and its Applications, p. 85-103, Berlin (2010). Springer. Zbl1236.18018MR2664621
73. Porter (T.).— Abstract homotopy theory in procategories. Cahiers Topologie Géom. Différentielle, 17(2), p. 113-124 (1976). Zbl0349.18012MR445496
74. Porter (T.).— Abstract homotopy theory: the interaction of category theory and homotopy theory. Cubo Mat. Educ., 5(1), p. 115-165 (2003). Zbl05508171MR1957710
75. Quillen (D. G.).— Homotopical algebra. Lecture Notes in Mathematics, No. 43. Springer-Verlag, Berlin (1967). Zbl0168.20903MR223432
76. Quillen (D. G.).— Rational homotopy theory. Ann. of Math. (2), 90, p. 205-295 (1969). Zbl0191.53702MR258031
77. Ritchey (T.).— Outline for a morphology of modelling methods. Acta Morphologica Generalis AMG Vol, 1(1), p. 1012 (2012). 
78. Rotman (J. J.).— An Introduction to Algebraic Topology, volume 119 of Graduate Texts in Mathematics. Springer-Verlag, New York (1988). Zbl0661.55001MR957919
79. Seifert (H.) and Threlfall (W.).— Seifert and Threlfall: a textbook of topology, volume 89 of Pure and Applied Mathematics. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York (1980). Translated from the German edition of 1934 by Michael A. Goldman, With a preface by Joan S. Birman, With Topology of 3-dimensional fibered spaces" by Seifert, Translated from the German by Wolfgang Heil. Zbl0469.55001MR575168
80. Shitanda (Y.).— Abstract homotopy theory and homotopy theory of functor category. Hiroshima Math. J., 19(3), p. 477-497 (1989). Zbl0701.18010MR1035138
81. Simpson (C. T.).— Homotopy theory of higher categories. 2010. 
82. Street (R.).— Weak omega-categories. In Diagrammatic morphisms and applications (San Francisco, CA, 2000), volume 318 of Contemp. Math., pages 207-213. Amer. Math. Soc., Providence, RI (2003). Zbl1039.18005MR1973518
83. Ström (A.).— The homotopy category is a homotopy category. Arch. Math. (Basel), 23, p. 435-441 (1972). Zbl0261.18015MR321082
84. Suárez (M.).— Fictions in Science: Philosophical Essays on Modeling and Idealization. Routledge Studies in the Philosophy of Science. Routledge (2009). 
85. Thomas (R. S. D.).— Mathematics and fiction. I. Identification. Logique et Anal. (N.S.), 43(171-172), p. 301-340 (2001) (2000). Zbl1040.00010MR2227558
86. Thomas (R. S. D.).— Mathematics and fiction. II. Analogy. Logique et Anal. (N.S.), 45(177-178), p. 185-228 (2002). Zbl1143.00300MR2054336
87. Toon (A.).— The ontology of theoretical modelling: Models as makebelieve. Synthese, 172(2), p. 301-315 (2010). 
88. Vaihinger (H.).— Philosophy of “As If”. K. Paul (1924). 
89. Verity (D.).— Weak complicial sets. II. Nerves of complicial Graycategories. In Categories in algebra, geometry and mathematical physics, volume 431 of Contemp. Math., p. 441-467. Amer. Math. Soc., Providence, RI (2007). Zbl1137.18005MR2342841
90. Verity (D.).— Complicial sets characterising the simplicial nerves of strict $\omega$-categories. Mem. Amer. Math. Soc., 193(905), p. xvi+184 (2008). Zbl1138.18005MR2399898
91. Voevodsky (V.).— ${\mathbf{A}}^1$-homotopy theory. In Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), number Extra Vol. I, p. 579-604 (electronic) (1998). Zbl0907.19002MR1648048
92. Voevodsky (V.).— Univalent foundations project (2010). 
93. Whitehead (J. H. C.).— Combinatorial homotopy. I. Bull. Amer. Math. Soc., 55, p. 213-245 (1949). Zbl0040.38704MR30759
94. Whitehead (J. H. C.).— Combinatorial homotopy. II. Bull. Amer. Math. Soc., 55, p. 453-496 (1949). Zbl0040.38801MR30760