Quartz 4

Home

❯

mathematical structures

mathematical structures

Feb 07, 20261 min read

Abstract concept that can be systematically defined. See Philosophy of Mathematics


Graph View

Backlinks

  • Brouwer's Program
  • Discrete Mathematics
  • GMA25
  • Graph
  • Model Theory
  • Research Proposal - Formalizing Traced Monoidal Categories in Agda
  • Set
  • The Intuitionistic Continuum

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community