Usuario:Siddharthist

¡Bienvenidos! Soy un editor interesado en la informática, especialmente en el análisis de programas . Puedes encontrar algunas estadísticas sobre mi edición en XTools.

Contribuciones significativas

Estas son páginas y secciones de las que he escrito al menos la mitad.

Páginas

Secciones

Plantillas

Damas

HACER

A continuación se presentan algunas modificaciones que me gustaría hacer pero aún no lo he hecho.

Simple

Estos deberían tomar diez minutos o menos.

Mejorar el hash consing
Añadir más propiedades a la categoría Opuesta
Reemplazar diagramas de topología inicial y topología final con SVG
Añadir una cita a Awodey para el functor diagonal
Añadir asociador de grupoide superior débil a los ejemplos sobre la condición de coherencia
Agregue ejemplos de grupos generados a Conjunto generador de un grupo y Grupo finitamente generado
Tal vez tenga en cuenta que todos los ejemplos en "Generado finitamente" son ejemplos de "Conjunto generador" y todos los ejemplos de presentaciones en Presentación de un grupo también son ejemplos de conjuntos generadores.
Añadir el lema de Lambek al álgebra inicial

Regular

Estos deberían tomar media hora o menos.

Crear pruebas basadas en propiedades (consulte Pruebas de software#Pruebas de propiedades )
Crear una página sobre la biblioteca Hypothesis Python
Limpiar https://en.wikipedia.org/wiki/User:Siddharthist/Symbolic_execution#Tools
Añadir ejemplos a Álgebra inicial y Coálgebra final
Agregue la aproximación ponderada al problema de cobertura del conjunto
Agregue el ejemplo de cobertura de vértices a la relajación de programación lineal
Ampliar la representación real con Liebeck
Agregue la aplicación a meras proposiciones al objeto subterminal , agregue propiedades de nLab (objeto subterminal en el n Lab ), agregue la teoría de topos de Johnstone como referencia.
Separación más completa del tipo superior de la jerarquía de raíz única . El primero debería contener información sobre la subtipificación teórica de tipos , mientras que el segundo debería contener información sobre la herencia . Ambos deberían tener párrafos en sus introducciones que distingan entre los dos.
Algoritmos de semi-streaming
Mejorar el cálculo de construcciones con descripciones de CIC, C(co)IC, pCuIC, etc.
Añadir Misra-Gries al problema de distinción de elementos
Mejorar la representación conjugada compleja . ¿Está relacionada con la representación dual ?
Añaden una sección de “Historia” al número de Betti , basado en Emmy Noether
Añadir una sección de "Definición formal" al grupo abeliano libre
Crear borrador: espacio de rutas , basado en el glosario de topología algebraica#espacio de rutas , https://ncatlab.org/nlab/show/path+space, y la teoría de tipos de homotopía
Añadir citas a la Sección (categoría teoría)
Lea la definición de homología reducida de Lee y posiblemente agréguela como referencia en esa página.
Verificar los axiomas del anillo en la definición de anillo de grupo
Ampliar la coinducción (referencia: Coqart)
(Después del nuevo año 2018): Fusionar el álgebra de categorías en el álgebra de dimensiones superiores o eliminarla.

Teoría de categorías

Hay muchas páginas sobre teoría de categorías que son extremadamente cortas, pero no estoy muy familiarizado con los conceptos.

Anafunctor
Categoría de categorías
2-funtor
Adjunción tensorial-hom
Objeto de número natural
Mejorar el final de la Suma Directa
Investigar la relación entre la congruencia (álgebra abstracta) y los ecualizadores .
Justificar Top como categoría distributiva
Añadir propiedades a la categoría Distributiva
Añadir una sección sobre el grupoide libre a la página de la categoría Libre . Referencias en nLab. ^[1]
Agregue el grupoide fundamental de un espacio conexo por caminos como ejemplo de una categoría Conectada
Ejemplos más simples de isomorfismo de categorías
Añadir la sección "En la teoría de tipos de homotopía" a la Categoría (matemáticas) , discutiendo la diferencia entre "precategorías" y categorías univalentes.
Reescriba la definición de un objeto de grupo para que esté menos impregnada de vocabulario y convenciones teóricas de categorías.
Mejorar el teorema de Church-Rosser

Intensivo

Una hora

Cree una sección sobre análisis de punteros con accesibilidad CFL: https://ieeexplore.ieee.org/abstract/document/6957254
Crear SV-COMP
Crear una sección sobre decidibilidad en la lógica de separación
Crear una página sobre Bi-abducción
Mueva las cláusulas de Horn restringidas a una sección de programación de lógica de restricciones
Crear un verificador de modelos acotados en C
Crear axioma de univalencia
Añadir una sección "Motivación" a la representación del grupo en función de la acción del grupo diedro en el plano
Agregar cita al libro HoTT sobre n-conexos , reescribir y agregar ejemplos. Agregar sección sobre el grupoide fundamental.
Irrelevancia de la prueba

Universos

Estoy particularmente interesado en el concepto de universo matemático. A continuación, se presentan algunas formas en las que me gustaría mejorar la discusión en Wikipedia, con el objetivo de una revisión completa de Universo (matemáticas) .

Mejorar el tipo superior
- Dividir la sección "Implementación" del tipo superior en una jerarquía de raíz única
- Investigue y descubra más sobre el tipo superior en sistemas subtipificados.
Agregue una sección de Universos a Cálculo de construcciones . Utilice este documento o este otro.
Crear la paradoja de Girard (ver también Categoría:Paradojas matemáticas , Lista de paradojas#Matemáticas )
Revisión del universo (matemáticas)
- Un esquema de las secciones:
  - Teoría de conjuntos
    - Un conjunto universal y la paradoja de Russell
    - Motivación (teoría de modelos)
    - Universos de teoría de conjuntos
  - Teoría de categorías
    - Motivación (categoría de categorías)
    - La obra de Lawvere: Teoría elemental de la categoría de categorías
    - Universos en la teoría de topos
    - Los cosmos como escenario para la teoría de categorías https://ncatlab.org/nlab/show/cosmos
  - Teoría de tipos
    - Motivación (tipos dependientes)
    - Motivación (formalización de las matemáticas)
    - Universos en el cálculo de construcciones (co)inductivas
    - Universos en la teoría de tipos de homotopía

La Enciclopedia de Filosofía de Stanford y Springer EOM podrían resultar útiles para los aspectos de creación de páginas.

Más

Crear teoría de tipos computacionales
Comprenda la categoría preaditiva lo suficiente como para agregar una definición categórica al anillo de endomorfismo.
Entender la mónada (teoría de categorías) lo suficiente como para mejorarla y agregar ejemplos.
Crear categoría algebraica
Fusionar la teoría de trenzas en el grupo de trenzas , agregar la definición formal del espacio de configuración (matemáticas)
Distinguir y/o combinar Homología (matemáticas) con Cadena (topología algebraica)
Mejorar la sección “Intuición” del grupo Fundamental , posiblemente añadiendo cifras.
Agregue una sección (o simplemente una nota) sobre la complejidad algorítmica de elegir una función Morse óptima a la teoría de Morse discreta
Investigación sobre la complejidad topológica para que el artículo alcance el estado de no ser un esbozo
Dar sentido a la definición de 2 grupos
Explicar mejor el modelo de referencia de cadena común
Crear una página sobre Homología cúbica
Repensar y ampliar la sección Introducción del grupo de Homotopía
Mejorar la definición del grupo de homotopía , especialmente la versión esférica (leer Hatcher y Lee)
¿Página sobre conjuntos globulares? Véase la encuesta de Awodey sobre HoTT, que contiene más referencias
Crear homotopía de tipo n ^[2] , con subsección sobre el nivel h
Crear espacio de ruta, mejorar la fibración del espacio de ruta (que supone que todos los espacios son generados de forma compacta por Hausdorff... ¿en una nota?)
Añadir definición alternativa a Equivalencia natural a partir de Topología y grupoides ^[3]
Investigar y repensar el clasificador de subobjetos

Menos serio

Crear una cuenta de usuario para Reed College
Crear una casilla de usuario para NixOS

Referencias

^ "grupoide libre en nLab". ncatlab.org . Consultado el 13 de septiembre de 2017 .
^ "homotopía n-tipo en nLab". ncatlab.org . Consultado el 14 de septiembre de 2017 .
^ Ronald Brown (junio de 2006). Topología y grupoides. Academic Search Complete. North Charleston: CreateSpace. ISBN 1419627228.OCLC 712629429 .{{cite book}}: Mantenimiento CS1: puntuación adicional ( enlace ) Mantenimiento CS1: nombres múltiples: lista de autores ( enlace )