Notes on how to use the internal language of toposes in algebraic geometry
-
Updated
Sep 28, 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."