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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)
Rosebrugh, R., Bradbury, J.: Category Theory Database Tools. Mount Allison University, Canada (1998), Available at http://cs.mta.ca/research/rosebrugh/ctdt/
Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs (1995)
Fleming, M., Gunther, R., Rosebrugh, R.: A Database of Categories. Mount Allison University, Canada (1995), Available at http://mathcs.mta.ca/research/rosebrugh/dbc/
Piaget, J.: Morphisms and Categories - Comparing and Transforming. Lawrence Erlbaum Associates, Hillsdale (1992)
Freyd, P.J., Scedrov, A.: Categories, Allegories. North Holland Publishing Company, Amsterdam (1990)
Rydeheard, D.E., Burstall, R.M.: Computational Category Theory Project, Electronic edn. (1988), http://www.cs.man.ac.uk/~david/categories/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)