Skip to main content
SpringerLink
Log in

Categorical structures as expressing tool for differential calculus

  • Research Article
  • Published:
Central European Journal of Computer Science

Abstract

Category is a mathematical structure consisting of objects and morphisms between objects with some specific properties. Categories examine in abstract way the properties of particular mathematical concepts by formalizing them as collections of objects and morphisms. Categorical structures are widely used in computer science for exact mathematical modeling. This paper highlights the most typical use of categories for constructing the model of part of differential calculus by using special category named arrow category; and codomain and domain functors.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. Awodey, Category Theory (Carnegie Mellon University, 2005)

    Google Scholar 

  2. M. Barr, C. Wells, Category Theory for Computing Science (Prentice Hall International, 1990)

    MATH  Google Scholar 

  3. Cs. Szabó, V. Slodičák, Software Engineering Tasks Instrumentation by Category Theory, SAMI 2011, Proceedings of the 9th IEEE International Symposium on Applied Machine Intelligence and Informatics, Smolenice, Slovakia, 27.–29.1.2011, Košice, elfa, s.r.o., 2011, 195–199

    Chapter  Google Scholar 

  4. V. Novitzká, V. Slodičák, Categorical structures and their application in informatics, Equilibria (Košice, 2010) (in Slovak)

    Google Scholar 

  5. V. Slodičák, P. Macko, New approaches in functional programming using algebras and coalgebras, In European Joint Conferrences on Theory and Practise of Software-ETAPS 2011, Universität des Saarlandes, Saarbrücken, Germany, 2011, 13–23

    Google Scholar 

  6. J. Adámek, H. Herrlich, G.E. Strecker, Abstract and Concrete Categories (John Wiley & Sons, 1990)

    MATH  Google Scholar 

  7. N. Bourbaki, Integration I (Springer-Verlag, 2004)

    MATH  Google Scholar 

  8. H.J. Keisler, Elementary Calculus: An Infinitesimal Approach (On-line Edition) University of Wisconsin, Copyright 2000/revised 2012, http://www.math.wisc.edu/keisler/calc.html

    Google Scholar 

  9. T. Harasthy, J. Turán, Ľ. Ovseník, Road line detection based on optical correlator, In: Mipro 2013: 36th international convention: conference proceedings: May 20–24, 2013, Opatija, Croatia. — Rijeka: MIPRO, 2013, 320–322

    Google Scholar 

  10. M. Fernandez, Models of Computation, An Introduction to Computability Theory (Springer, 2009)

    MATH  Google Scholar 

  11. S. Aleksić, S. Ristić, I. Luković, M. Čeliković, A Design Specification and a Server Implementation of the Inverse Referential Integrity Constraints, Comput. Sci. Inform. Sys. 10(1), 2013, 283–320

    Article  Google Scholar 

  12. P. Selinger, Lecture Notes on the Lambda Calculus (Dalhousie University, Halifax, Canada, 2007)

    Google Scholar 

  13. A. Tarlecki, Categories, Institutions, Abstract Model Theory, and Software Specification, Workshop on Applied and Computational Category Theory — ACCAT/ETAPS 2013, Rome, Italy, 2013

    Google Scholar 

  14. B. Jacobs, Categorical Logic and Type Theory, No. 141 in Studies in Logic and the Foundations of Mathematics (North Holland, Amsterdam, 1999)

    Google Scholar 

  15. W. Steingartner, D. Galinec, The Rôle of Categorical Structures in Infinitesimal Calculus, J. Appl. Math. Comput. Mechanics 12(1), 107–119, 2013

    Google Scholar 

  16. D.M. Burton, The History of Mathematics: An Introduction, 6th ed. (McGraw-Hill, 2005)

    Google Scholar 

  17. O. Forster, Analysis 1, Differential- und Integralrechnung einer Vernderlichen 7, (Au. Vieweg-Verlag, 2004)

    Google Scholar 

  18. J. Taufer, O. Vraštilová, Mathematics 1 — Differential calculus for engineers (Montanex, a.s., 1998) (in Czech)

    Google Scholar 

  19. E.E. Rosinger, Nel’s category theory based differential and integral Calculus, or did Newton know category theory? source: http://arxiv.org/abs/math/0504565 (2005)

    Google Scholar 

  20. J. Kock, Polynomial functors (On-line Edition), University of Barcelona, Copyright 2013/revised 2014, http://mat.uab.es/kock/cat/polynomial.html

    Google Scholar 

  21. I. Luković, S. Ristić, A. Popović, P. Mogin, An approach to the platform independent specification of a business application, In: Proceedings of the 23rd Central European Conference on Information and Intelligent Systems — CECIIS’2012, 19th–21st Sept 2012, University of Zagreb, Varaždin, Croatia, 2012, 449–456

    Google Scholar 

  22. C. Thomas, Introduction to Differential Calculus (University of Sydney, 1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computers and Informatics, Faculty of El. Engineering and Informatics, Technical University of Košice, Letná 9, 04200, Košice, Slovakia

    William Steingartner

  2. Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Trg D. Obradovica 4, 21000, Novi Sad, Serbia

    Davorka Radaković

Authors
  1. William Steingartner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Davorka Radaković
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to William Steingartner.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Steingartner, W., Radaković, D. Categorical structures as expressing tool for differential calculus. centr.eur.j.comp.sci. 4, 96–106 (2014). https://doi.org/10.2478/s13537-014-0220-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.2478/s13537-014-0220-7

Keywords

Search

Navigation