Notes on how to use the internal language of toposes in algebraic geometry
-
Updated
Nov 30, 2024 - TeX
#
categorical-logic
Here are 7 public repositories matching this topic...
A specialised computer algebra system for topos theory.
research functional-programming functions cubes research-project squares topos-theory categorical-logic double-category applied-category-theory topos first-class-functions higher-dimensional hypercubes presheaf-theory double-categories sierpinski-topos
-
Updated
Jun 23, 2024 - Clojure
Results and software for our paper on structured epidemic modeling
algebra simulation modeling category-theory scientific-computing dynamical-systems epidemiology categorical-logic epidemic-model modeling-and-simulation
-
Updated
Sep 21, 2022 - Jupyter Notebook
Agda formalization of the Attack Tree Linear Logic
semantics agda attack-trees categorical-semantics linear-logic categorical-logic dialectica-spaces dialectica-categories
-
Updated
Jul 29, 2018 - Agda
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
-
Updated
Jun 3, 2017 - TeX
logistic regression model using python and not using any library for the model.
python regression python3 logistic-regression regression-models categorical-logic regression-algorithms
-
Updated
Apr 6, 2019 - Python
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
-
Updated
Jun 10, 2018 - TeX
Improve this page
Add a description, image, and links to the categorical-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the categorical-logic topic, visit your repo's landing page and select "manage topics."