Showing 1 - 20 results of 21 for search '"Category theory"', query time: 0.30s Refine Results
  1. 1
    Trabajo de grado de pregrado
    On applications of category theory to programming languages
    Por Salazar Ruiz, Víctor José de Jesús
    Published in 2018
    Repositorio Séneca: repositorio Uniandes

    “..."Category Theory can be used to model computational effects in terms of purely denotational...”
    Get full text
  2. 2
    Category theory applied to functional programming
    Por Villa Isaza, Juan Pedro
    Published in 2014
    Repositorio Repositorio EAFIT

    “...We study some of the applications of category theory to functional programming, particularly...”
    Get full text
  3. 3
    Internalidad: Un camino de la Teoría de Modelos hacia la Teoría de Galois
    Por García Vargas, Johan Felipe
    Published in 2017
    Repositorio Universidad Nacional de Colombia

    Subjects: “...Category Theory...”
    Get full text
    Get full text
  4. 4
    Similarity in Chemical Reaction Networks: Categories, Concepts and Closures
    Published in 2015
    Repositorio Repositorio EdocUR - U. Rosario
    Subjects: “...Category theory...”
    Get full text
    Get full text
  5. 5
    Doctoral thesis
    Tiempo, cultura, identidad: Peirce y Cassirer
    Por Ham, Lorena
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Subjects: “...Category Theory...”
    Get full text
    Get full text
  6. 6
    Doctoral thesis
    On Chemical Activity Foundations of a classificatory approach to the study of chemical combination
    Por Bernal, Andrés
    Published in 2011
    Repositorio Universidad Nacional de Colombia

    Subjects: “...Category Theory...”
    Get full text
    Get full text
  7. 7
    Around infinitary categorical logic
    Por Roldan Moros, Samuel Felipe
    Published in 2024
    Repositorio Universidad Nacional de Colombia

    Subjects: “...Category theory...”
    Get full text
    Get full text
  8. 8
    Trabajo de grado de pregrado
    A categorical approach to topological quantum computing
    Por Volpe Costa, Emilio Antonio
    Published in 2021
    Repositorio Séneca: repositorio Uniandes

    Get full text
  9. 9
    Doctoral thesis
    Gesture Theory: topos-theoretic perspectives and philosophical framework
    Por Arias Valero, Juan Sebastián
    Published in 2018
    Repositorio Universidad Nacional de Colombia

    “...Abstract: Using tools from category theory and 2-category theory, in particular from topos theory...”
    Get full text
    Get full text
  10. 10
    Article of investigation
    Joachim Lambek y la Filosofía de la matemática
    Por Pérez, Jesús Hernando
    Published in 2005
    Repositorio Repositorio U. Sergio Arboleda

    “... the Category Theory is used for the conciliation of the four greats philosophies of the mathematics: Platonism...”
    Get full text
    Get full text
  11. 11
    Estructuras semitopológicas, propiedades y construcciones.
    Por Forero Baquero, Wilson Javier
    Published in 2017
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  12. 12
    Article of journal
    Lógica diagonal
    Por Sierra, Manuel
    Published in 1996
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  13. 13
    Espacios funcionales de Alexandroff
    Por Mesa Bueno, Julian David
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  14. 14
    Internal and external aspects of continuous logic and categorical logic for sheaves over quantales
    Por Reyes Gaona, David
    Published in 2023
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  15. 15
    Book
    Rondas en Sais: ensayos sobre matemáticas y cultura contemporánea
    Por Zalamea, Fernando
    Published in 2013
    Repositorio Universidad Nacional de Colombia

    Get full text
  16. 16
    Trabajo de grado de pregrado
    Existencia de coálgebras finales para funtores polinomiales
    Por Téllez Crespo, Andrés Felipe
    Published in 2011
    Repositorio Repositorio Digital Univalle

    “... en la revista Category Theory and Computer Science número 389 en las páginas 357- 365. La...”
    Get full text
  17. 17
    Book
    Addressing challenges of an uncertain world: A CiberSystemic approach
    Por Reyes Alvarado, Alfonso; Leonard, Allenna; Potocnik, Amna; Guerra, Ana María; Espinosa, Ángela; Serna, Camilo; Senna, Carlos; Wene, Clas-Otto; Holtham, Clive; Barbosa, Diana; Montes, Felipe; Caputo, Francesco; Stowell, Frank; Bula, Germán; Zeeuw, Gerard de; López Garay, Hernán; Perko, Igor; Villalobos, Jorge; Pérez Ríos, José; Valdivia, Juan Alejandro; Klein, Louis; Saviano, Marialuisa; Schwaninger, Markus; Blanco, Martha; Mulej, Matjaz; Lammoglia, Nelson; Parra, Néstor Hernando; García, Osvaldo; Cortés, Paula; Ison, Ray; Michell Herron, Rebecca; Schlindwein, Sandro; Barile, Sergio; Sarotar Zizek, Simona; Mendiwelso, Zoraida
    Published in 2024
    Repositorio Repositorio Universidad de Ibagué

    Get full text
    Get full text
  18. 18
    Article of journal
    Functors on the category of factorisations of a function
    Por Mond, David
    Published in 2004
    Repositorio Universidad Nacional de Colombia

    “...Factorisations on category theory...”
    Get full text
    Get full text
  19. 19
    Trabajo de grado de pregrado
    Estado del arte de las intervenciones organizacionales para facilitar la transición a la jubilación
    Por Jacks Manzur, Claudette
    Published in 2018
    Repositorio Séneca: repositorio Uniandes

    Get full text
  20. 20
    Doctoral thesis
    El funtor espectro y su relación con el proceso de adjunción de unidad
    Por Rubio Perilla, Ibeth Marcela
    Published in 2012
    Repositorio Universidad Nacional de Colombia

    “... properties of these constructions, from the point of view of categories theory....”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search