Abstract
Basic category theory notions as objects, morphisms, functors, diagrams, natural transformations, limits, colimits, product and coproduct, pullback and pushout, adjointness, monads are introduced at the informal level.
The high complexity imposes a higher categorical approach.
The higher categories, that is the n-categories, orientals, the periodic table hypothesis, monoidal, braided, sylleptic and symmetric categories, the categorification and the coherence, the computads or polygraphs, the operads and multicategories are informally introduced.
Applicability domains for rewriting systems, are outlined.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Adams, W.W., Loustaunau, P.: An introduction to Gröbner bases. Graduate Studies in mathematics, vol. 3. American Math. Soc., Providence (1994)
Baez, J.: An introduction to n-categories. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol. 1290, Springer, Heidelberg (1997)
Baez, J., Dolan, J.: Higher dimensional algebra and topological quantum field theory. Jour. Math. Phys 36, 6073–6105 (1995)
Baez, J., Dolan, J.: Categorification. In: Getzler, E., Kapranov, M. (eds.) Higher Category Theory, Contemp. Math., vol. 230, pp. 1–36. Amer. Math. Soc., Providence (1998)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 284(5), 35–43 (2001)
Brown, R., Heyworth, A.: Using rewriting systems to compute left Kan extensions and induced actions of categories. J. Symbol Comput. 29(1), 5–31 (2000)
Buchberger, B.: History and basic features for the critical pair/completion procedure. J. Symbolic Computation 3, 33–38 (1987)
Buchberger, B., Winkler, F.: Gröbner Bases and Applications, 33 Years of Gröbner Bases. Proc. London Math. Soc., 251 (1998)
Burroni, A.: Higher-dimensional word problems with applications to equational logic. Theoretical Computer Science 115, 43–62 (1993)
Chandler, A., Heyworth, A.: Gröbner bases as a tool for Petri net analysis. In: Proceedings of the 5th World Multi-Conference on Systematics, Cybernetics and Informatics (SCI 2001), Orlando, Florida (2001)
Cornell, J.: Experiments with mixtures: designs, models and the analysis of mixture data. Wiley, New York (2002)
Crans, S.: A tensor product for Gray categories. Theory and Applications of Categories 5(2), 12–69 (1999)
Crans, S.: On braidings, syllepses ans symmetries. Cahiers Topologie Geom Differentielle Categ. 41(1), 2–74 (2000)
Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68–85. Springer, Berlin (1981)
Gordon, R., Power, A.J., Street, R.: Coherence for tricategories. Memoirs Amer. Math. Soc. 117, 558 (1995)
Guiraud, Y.: Two polygraphic presentations of Petri nets. Theoretical Computer Science 360(1-3), 126–146 (2006)
Jensen, K., Rosenberg, G.: High-level Petri nets: Theory and Application. Springer, Heidelberg (1991)
Johnson, M.: Linear term rewriting systems are higher dimensional string rewriting systems. In: Rattray, C.M.I., Clark, R.G. (eds.) The Unified Computation Laboratory, pp. 101–110. Oxford University Press, Oxford (1991)
Joyal, A., Street, R.H., Verity, D.: Traced monoidal categories. Math. Proc. Camb. Phil. Soc. 119, 447–468 (1996)
Kelly, G.M., Street, R.: Review of the elements of 2-categories. Lecture Notes in Math, vol. 420, pp. 75–103 (1974)
Leinster, T.: Higher Operads, Higher Categories, Cambridge (2004)
Lindenmayer, A.: Mathematical models for cellular interaction in development, I, II. J. Theor. Biol. 18, 280–315 (1968)
MacLane, S.: Categories for the Working Mathematician. Springer, New York (1971)
Street, R.: The algebra of oriented simplexes. J. Pure Appl. Algebra 49, 283–335 (1987)
Marquis, J.-P.: From a Geometrical Point of View: a study in the history and philosophy of category theory. Springer, New York (2009)
Németh, E., Cameron, I.T., Hangos, K.M.: Diagnostic goal driven modelling and simulation of multiscale process systems. Computers And Chemical Engineering 29, 783–796 (2005)
Piepel, G.: Modeling methods for mixture-of-mixtures experiments applied to a tablet formulation problem. Pharmaceutical Development and Technology 4, 593–606 (1999)
Pistone, G., Riccomagno, E., Wynn, H.P.: Algebraic Statistics. Chapman & Hall/CRC, Boca Raton (2000)
Street, R.: Categorical and combinatorial aspects of descent theory. Applied Categorical Structures 12, 537–576 (2004)
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Iordache, O. (2010). Appendices. In: Polystochastic Models for Complexity. Understanding Complex Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10654-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-10654-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10653-8
Online ISBN: 978-3-642-10654-5
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)