https://cbaberle.com/Curriculum+Vitaehttps://cbaberle.com/About+Mehttps://cbaberle.com/Music/Albums+and+Singleshttps://cbaberle.com/Music/Instrumental+Workshttps://cbaberle.com/Philosophy/Tractatushttps://cbaberle.com/Philosophy/On+the+Origin+of+Theorieshttps://cbaberle.com/Blog/My+Thoughts+on+Some+Philosophershttps://cbaberle.com/Blog/The+Music+of+the+Primeshttps://cbaberle.com/Blog/The+Great+Civilizerhttps://cbaberle.com/Published+Papers/Parametricity+via+Cohesionhttps://cbaberle.com/Published+Papers/Polynomial+Universes+in+Homotopy+Type+Theoryhttps://cbaberle.com/Published+Papers/Substructural+Parametricityhttps://cbaberle.com/Preprints/Composing+in+Codehttps://cbaberle.com/Preprints/Compositional+Program+Verification+with+Polynomial+Functors+in+Agdahttps://cbaberle.com/Preprints/Double+Orthogonal+Factorization+Systemshttps://cbaberle.com/Talks/Synthetic+Mathematics%2C+Logical+Frameworks%2C+and+Categorical+Algebrahttps://cbaberle.com/Talks/All+Concepts+are+Essentially+Algebraichttps://cbaberle.com/Talks/Fundamental+Theorems+for+Freehttps://cbaberle.com/Philosophy/A+Constructive+Critique+of+Constructivismhttps://cbaberle.com/The+Hyrax+Project/The+Hyrax+Projecthttps://cbaberle.com/The+Hyrax+Project/Simplicial+Type+Theory/Simplicial-Lawvere-Theories.lagdahttps://cbaberle.com/The+Hyrax+Project/Simplicial+Type+Theory/Simplicial-Axioms.lagdahttps://cbaberle.com/The+Hyrax+Project/Homotopy+Type+Theory/Lawvere-Theories.lagdahttps://cbaberle.com/The+Hyrax+Project/Homotopy+Type+Theory/Interval-Funext.lagdahttps://cbaberle.com/The+Hyrax+Project/Homotopy+Type+Theory/Homotopy-Levels.lagdahttps://cbaberle.com/The+Hyrax+Project/Homotopy+Type+Theory/Inductive-Types.lagdahttps://cbaberle.com/The+Hyrax+Project/Homotopy+Type+Theory/Basic-Types.lagdahttps://cbaberle.com/The+Hyrax+Project/Archive/synthetic-agda.lagdahttps://cbaberle.com/Blog/Synthetic+Mathematicshttps://cbaberle.com/Blog/How+Algebraic+is+Algebraic+Geometry%3F