Projects in Awesome Lists tagged with categorical-logic
A curated list of projects in awesome lists tagged with categorical-logic .
https://github.com/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
Last synced: 02 Mar 2025
https://github.com/algebraicjulia/structured-epidemic-modeling
Results and software for our paper on structured epidemic modeling
algebra categorical-logic category-theory dynamical-systems epidemic-model epidemiology modeling modeling-and-simulation scientific-computing simulation
Last synced: 03 May 2025
