Skip to main content

Computational Simulation of Categorical Constructions

  • Conference paper
Computer Aided Systems Theory – EUROCAST 2005 (EUROCAST 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3643))

Included in the following conference series:

  • 1271 Accesses

Abstract

Category Theory is a useful topic to the studies of Computer Science. In spite of experiments with children suggest that categorical reasoning is supposed to be natural to humans, the ones who study Category Theory expose difficulties. This paper starts presenting and analyzing this situation. Then it is developed an evaluation of computational models which represents categorical structures as a way to help students in dealing with categorical concepts intuitively. In the context of this evaluation, a computational model is presented.

This work is partially supported by CAPES, CNPq and FAPERGS.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)

    MATH  Google Scholar 

  2. Rosebrugh, R., Bradbury, J.: Category Theory Database Tools. Mount Allison University, Canada (1998), Available at http://cs.mta.ca/research/rosebrugh/ctdt/

  3. Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1995)

    Google Scholar 

  4. Fleming, M., Gunther, R., Rosebrugh, R.: A Database of Categories. Mount Allison University, Canada (1995), Available at http://mathcs.mta.ca/research/rosebrugh/dbc/

  5. Piaget, J.: Morphisms and Categories - Comparing and Transforming. Lawrence Erlbaum Associates, Hillsdale (1992)

    Google Scholar 

  6. Freyd, P.J., Scedrov, A.: Categories, Allegories. North Holland Publishing Company, Amsterdam (1990)

    MATH  Google Scholar 

  7. Rydeheard, D.E., Burstall, R.M.: Computational Category Theory Project, Electronic edn. (1988), http://www.cs.man.ac.uk/~david/categories/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vieira, R.B., Menezes, P.B. (2005). Computational Simulation of Categorical Constructions. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2005. EUROCAST 2005. Lecture Notes in Computer Science, vol 3643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556985_8

Download citation

  • DOI: https://doi.org/10.1007/11556985_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29002-5

  • Online ISBN: 978-3-540-31829-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics