categorical-logic

There are 2 repositories under categorical-logic topic.

iblech / internal-methods
Notes on how to use the internal language of toposes in algebraic geometry
algebraic-geometry categorical-logic mathematics sheaf-theory topos-theory
Language:TeX 53
locusmath / locus
A specialised computer algebra system for topos theory.
double-categories functions squares higher-dimensional functional-programming topos topos-theory applied-category-theory hypercubes presheaf-theory double-category sierpinski-topos categorical-logic research research-project first-class-functions cubes
Language:Clojure 17
AlgebraicJulia / Structured-Epidemic-Modeling
Results and software for our paper on structured epidemic modeling
epidemic-model epidemiology simulation modeling modeling-and-simulation dynamical-systems category-theory algebra categorical-logic scientific-computing
Language:Jupyter Notebook 12
MonoidalAttackTrees / ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
agda linear-logic attack-trees semantics categorical-semantics categorical-logic dialectica-categories dialectica-spaces
Language:Agda 5
vishallama / categories-and-categorical-logic
Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.
category-theory categorical-logic lambda-calculus type-theory categorical-semantics logic
Language:TeX 1
Lieu98 / logistic_regression
logistic regression model using python and not using any library for the model.
categorical-logic logistic-regression python python3 regression regression-algorithms regression-models
Language:Python 0
heades / notes-on-fibrations
My Notes on the Fibrational Semantics of Simple, Polymorphic, and Dependent Type Theory
categorical-logic category-theory fibrations semantics type-theory
Language:TeX