Uberty

• Author
• Other Contributors
• Document
• Tags
• Format

• Per Martin-Lof
• • Intuitionistic Type Theory
• • category theory
  • homotopy type theory
  • intuition
  • judgement
  • Kant
  • Mathematics
• PDF

• Elias Zafiris
• • Complex Systems from the Perspective of Category Theory
  • Part 2
• • category theory
  • Complexity
  • math
  • models
  • systems
• PDF

• Alain Connes
• • A View of Mathematics
• • category theory
  • Mathematics
  • physics
  • realism
  • topology
• URL

• Kohei Kishida
• • Generalized Topological Semantics for First-Order Modal Logic
• • category theory
  • logic
  • modality
  • semantics
  • topology
• PDF

• Steve Awodey
• • Kohei Kishida
• • Topology and Modality: The Topological Interpretation of First-Order Modal Logic
• • category theory
  • logic
  • modality
  • semantics
  • topology
• PDF

• Fernando Zalamea
• • Peirce's Continuum: A methodological and mathematical approach
• • category theory
  • Mathematics
  • peirce
  • Pragmatism
• PDF

• David Spivak
• • Category Theory for Scientists
• • category theory
  • Mathematics
  • science
• PDF

• Jonas R. Becker Arenhart
• • Otavio Bueno
• • Structural realism and the nature of structure
• • category theory
  • Mathematics
  • Ontology
  • realism
  • structure
• PDF

• Andrei Rodin
• • Categories Without Structures
• • category theory
  • Mathematics
  • Philosophy
• PDF

• Andrea Asperti
• • Guiseppe Longo
• • Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
• • category theory
  • Computation
  • Mathematics
• PDF

• F. William Lawvere
• • Stephen H. Shanuel
• • Conceptual Mathematics: A First Introduction to Categories
• • category theory
  • Mathematics
• PDF