Abstract
Faceted browsing has become ubiquitous with modern digital libraries and online search engines, yet the process is still difficult to abstractly model in a manner that supports the development of interoperable and reusable interfaces. We propose category theory as a theoretical foundation for faceted browsing and demonstrate how the interactive process can be mathematically abstracted. Existing efforts in facet modeling are based upon set theory, formal concept analysis, and light-weight ontologies, but in many regards, they are implementations of faceted browsing rather than a specification of the basic, underlying structures and interactions. We will demonstrate that category theory allows us to specify faceted objects and study the relationships and interactions within a faceted browsing system. Resulting implementations can then be constructed through a category-theoretic lens using these models, allowing abstract comparison and communication that naturally support interoperability and reuse.
Similar content being viewed by others
Notes
One may want the interface to include the name of the type as a selectable facet. This meta-facet is mostly an organizational tool that aids in drawing the faceted taxonomy.
References
Barr, M., & Wells, C. (1990). Category theory for computing science. New York: Prentice Hall.
Blass, A. (1984). The interaction between category theory and set theory. In Mathematical applications of category theory, (Vol. 89 pp. 84–84).
Bonino, D., Corno, F., & Farinetti, L. (2009). Faset: A set theory model for faceted search. In Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 474–481).
Chu, H.J., & Chow, R.C. (2010). An information model for managing domain knowledge via faceted taxonomies. In Information reuse and integration (IRI), 2010 IEEE International Conference on (pp. 378–379).
Clarkson, E.C., Navathe, S.B., & Foley, J.D. (2009). Generalized formal models for faceted user interfaces. In Proceedings of the 9th ACM/IEEE Joint Conference on Digital libraries (pp. 125– 134).
Coecke, B., & Paquette, ÉO (2011). Categories for the practising physicist. In New Structures for Physics (pp. 173–286): Springer.
Dawson, A., Brown, D., & Broughton, V. (2006). The need for a faceted classification as the basis of all methods of information retrieval. In Aslib proceedings, emerald group publishing limited, (Vol. 58 pp. 49–72).
Fagan, J.C. (2013). Usability studies of faceted browsing: a literature review. Information Technology and Libraries, 29(2), 58–66.
Fuentes-Lorenzo, D., Morato, J., & Gómez, J.M. (2009). Knowledge management in biomedical libraries: a semantic web approach. Information Systems Frontiers, 11(4), 471–480.
Giunchiglia, F., Marchese, M., & Zaihrayeu, I. (2007). Encoding classifications into lightweight ontologies. In Journal on data semantics (pp. 57–81): Springer.
Harris, D.R., Kavuluru, R., Yu, S., Theakston, R., Jaromczyk, J.W., & Johnson, T.R. (2014). Delve: A document exploration and visualization engine. In Proceedings of the Summit on Clinical Research Informatics (p. 179).
Hearst, M.A. (2006a). Clustering versus faceted categories for information exploration. Communications of the ACM, 49(4), 59–61.
Hearst, M.A. (2006b). Design recommendations for hierarchical faceted search interfaces. In SIGIR workshop on faceted search (pp. 1–5).
Hupel, L. (2014a). scalaz: functional programming for scala. Retrieved January 25, 2015 from http://typelevel.org/projects/scalaz/.
Hupel, L. (2014b). scalaz.category api documentation. Retrieved January 25, 2015 from http://docs.typelevel.org/api/scalaz/stable/7.1.0-M3/doc/#scalaz.Category.
Kules, B., Capra, R., Banta, M., & Sierra, T. (2009). What do exploratory searchers look at in a faceted search interface?. In Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (pp. 313–322).
Li, C., Yan, N., Roy, S.B., Lisham, L., & Das, G. (2010). Facetedpedia: dynamic generation of query-dependent faceted interfaces for wikipedia. In Proceedings of the 19th international conference on World wide web (pp. 651–660).
McGuinness, D.L., & Van Harmelen, F., et al. (2004). Owl web ontology language overview. W3C recommendation, 10(10), 2004.
Niu, X., & Hemminger, B. (2014). Analyzing the interaction patterns in a faceted search interface. Journal of the Association for Information Science and Technology. doi:10.1002/asi.23227.
Odersky, M. (2007). The scala language specification, version 2.4. Technical report, Programming Methods Laboratory EPFL, Lausanne, Switzerland.
Phillips, S., & Wilson, W.H. (2010). Categorial compositionality: a category theory explanation for the systematicity of human cognition. PLoS Computational Biology, 6(7), e1000, 858.
Prieto-Díaz, R. (2003). A faceted approach to building ontologies. In Information reuse and integration, 2003. IRI 2003. IEEE International Conference on, IEEE (pp. 458–465).
Priss, U. (2000). Faceted information representation. In Proceedings of the 8th International Conference on Conceptual Structures (pp. 84–94): Springer-Verlag.
Rydeheard, D.E., & Burstall, R.M. (1988). Computational category theory. Englewood Cliffs: Prentice Hall.
Sacco, G.M., & Tzitzikas, Y. (2009). Dynamic taxonomies and faceted search: theory, practice, and experience. Berlin: Springer.
Seeberger, H. (2010). Introduction to category theory in scala. Retrieved January 25, 2015 from http://hseeberger.github.io/blog/2010/11/25/introduction-to-category-theory-in-scala/.
Shneiderman, B. (1996). The eyes have it: a task by data type taxonomy for information visualizations. In Visual languages, 1996. Proceedings., IEEE Symposium on (pp. 336–343).
Spivak, D.I. (2009). Simplicial databases. arXiv:09042012.
Spivak, D.I. (2012). Functorial data migration. Information and Computation, 217, 31–51.
Spivak, D.I. (2014). Category Theory for the Sciences. Cambridge: MIT Press.
Spivak, D.I., & Kent, R.E. (2012). Ologs: a categorical framework for knowledge representation. PLoS One, 7(1), e24,274.
Spivak, D.I., Giesa, T., Wood, E., & Buehler, M.J. (2011). Category theoretic analysis of hierarchical protein materials and social networks. PLoS One, 6(9), e23,911.
Vickers, P., Faith, J., & Rossiter, N. (2013). Understanding visualization: A formal approach using category theory and semiotics. IEEE Transactions on Visualization and Computer Graphics, 19(6), 1048–1061.
Wei, B., Liu, J., Zheng, Q., Zhang, W., Fu, X., & Feng, B. (2013). A survey of faceted search. Journal of Web engineering, 12(1-2), 41–64.
Yee, K.P., Swearingen, K., Li, K., & Hearst, M. (2003). Faceted metadata for image search and browsing. In Proceedings of the SIGCHI conference on human factors in computing systems (pp. 401–408).
Acknowledgments
The project described was supported by the National Center for Research Resources and the National Center for Advancing Translational Sciences, National Institutes of Health, through Grant UL1TR000117. The content is solely the responsibility of the authors and does not necessarily represent the official views of the NIH. This work would not be possible without support from Drs. Jerzy W. Jaromczyk, Todd R. Johnson, and Ramakanth Kavuluru.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Harris, D.R. Foundations of reusable and interoperable facet models using category theory. Inf Syst Front 18, 953–965 (2016). https://doi.org/10.1007/s10796-016-9658-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10796-016-9658-6