|
Call for 2025 Summer Research Associates
|
|
0
|
12
|
December 4, 2024
|
|
Structure-aware version control via observational bridge types
|
|
0
|
9
|
December 4, 2024
|
|
Well-typed, abstract scientific programming
|
|
0
|
33
|
December 1, 2024
|
|
Using CatColab / ModelCollab for productive disagreement
|
|
1
|
42
|
November 27, 2024
|
|
The Space of Physical Frameworks (Part 3)
|
|
0
|
15
|
September 11, 2024
|
|
The Space of Physical Frameworks (Part 4)
|
|
0
|
17
|
September 16, 2024
|
|
News: Learn About Dynamic Programming With Category Theory
|
|
0
|
37
|
November 15, 2024
|
|
Polarities (Part 5)
|
|
0
|
8
|
November 14, 2024
|
|
Structure-aware version control via observational bridge types
|
|
0
|
15
|
November 13, 2024
|
|
Polarities (Part 4)
|
|
0
|
4
|
November 12, 2024
|
|
Call for 2025 Summer Research Associates
|
|
0
|
17
|
November 12, 2024
|
|
Neural wiring diagrams for message passing in multiscale organizations
|
|
0
|
21
|
November 8, 2024
|
|
The Mean Speed Theorem
|
|
0
|
10
|
November 7, 2024
|
|
Stirling’s Formula from Statistical Mechanics
|
|
0
|
16
|
August 27, 2024
|
|
Polarities (Part 2)
|
|
0
|
8
|
November 4, 2024
|
|
Polarities (Part 1)
|
|
0
|
16
|
November 3, 2024
|
|
Artin Gluing as Tabulator
|
|
5
|
60
|
November 2, 2024
|
|
Adjoint School 2025
|
|
0
|
22
|
October 31, 2024
|
|
Declarative Models and Collaborative Modeling
|
|
0
|
12
|
October 31, 2024
|
|
Triangulations of the Sphere (Part 1)
|
|
0
|
10
|
October 26, 2024
|
|
Triangulations of the Sphere (Part 2)
|
|
0
|
2
|
October 30, 2024
|
|
Semifields: like fields but algebraic!
|
|
3
|
42
|
October 28, 2024
|
|
Octoberfest 2024
|
|
2
|
30
|
October 21, 2024
|
|
JuMP-ing with AlgebraicJulia I: The IJKLM model
|
|
0
|
26
|
October 18, 2024
|
|
The universal property of morphism composition
|
|
3
|
55
|
October 17, 2024
|
|
Taking nonlogical concepts seriously
|
|
0
|
27
|
October 11, 2024
|
|
Compositional epidemiological modeling using structured cospans
|
|
2
|
20
|
October 11, 2024
|
|
On the implementation of C-sets
|
|
0
|
19
|
October 10, 2024
|
|
Modeling frameworks: What is a scientific model?
|
|
0
|
9
|
October 10, 2024
|
|
Graphs and C-sets II: Half-edges and rotation systems
|
|
0
|
7
|
October 10, 2024
|