Looking for interesting data sets? Here's a list of more than 100 of the best stuff, from dolphin relationships to political campaign donations to death row prisoners.
M. Bezem, T. Coquand, und S. Huber. 19th International Conference on Types for Proofs and Programs (TYPES 2013), Volume 26 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 107--128. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2014)
G. Friedman. (2008)cite http://arxiv.org/abs/0809.4221arxiv:0809.4221Comment: 57 pages, 32 figures. Further corrections and additions. Section 2 has been reorganized with new material added. Section 5.1 on Simplicial Hom added. Hopefully final version.