¿No sería genial si hay alguna web o algo que visualizados (una porción pequeña de) la categoría de los pequeños categorías(*)?
Imagine que usted haga clic en alguna de las categorías a partir de una lista de, digamos, a continuación, "pop!" - que aparecen como puntos en un dígrafo (que no necesariamente conmutativo el diagrama) puede cambiar de forma y se mueven a su alrededor, donde cada flecha es un (estándar) functor. Si hace clic en una flecha, le da algunos detalles sobre el functor.
Hace tal cosa existe?
Si no, alguien por favor, hacerlo! No he encontrado nada igual hasta ahora y no entiendo por qué. Podría ser bastante interesante si se hace correctamente. Incluso podría ser útil, como la OEIS, como algo a explorar el tema con el :)
Algo como esto sería espectacular! :D
(*) . . . o el quasicategory de todas las categorías.
Respuesta
¿Demasiados anuncios?
He tenido fantasías de un general similar "matemáticas" explorador de proyecto que los matemáticos pueden ir a buscar teoremas, definiciones, votar elegante pruebas, etc. También habría un visor 3D para ver todos los teoremas relacionados en un área y se puede ver las áreas que la "necesidad de trabajar" (por ejemplo). También quiero implementar un fuzzy analizador que entiende a través de los errores tipográficos e incluso la sustitución de la palabra y puede ser actualizado con una nueva entrada a la salida de las asignaciones muy fácilmente (es decir. usted no tiene que escribir una gramática de una entrada válida, pero se limitó a ofrecer un ejemplo y lo que quiere la salida, o un mapa a otro válida difusos de entrada).
Como usted puede ver su proyecto si se deja abierto a las características innovadoras, que creo que debería, tendrá un par de no-trivial de ciencias de la computación e ingeniería de los desafíos.
Estos enlaces en caso de que podamos empezar si alguien es serio:
Proyecto:
Algoritmos:
Las Bibliotecas Y Herramientas:
Relacionado con:
Lo primero que tenemos que decidir es el principal lenguaje de desarrollo (para el explorador de interfaz gráfica de usuario), o incluso si vamos a hacer una aplicación independiente.
Por favor envíeme un correo electrónico para la edición de privelages en el mapa de concepto:
enjoysmath en gmail.
Déjame saber si te gustaría contribuir y necesita ayuda con la configuración de cualquiera de las herramientas.
