|
About the Research category
|
|
0
|
63
|
April 1, 2023
|
|
Convolution, abstractly
|
|
5
|
347
|
April 3, 2024
|
|
Differential Equations with Jumps
|
|
13
|
166
|
March 21, 2024
|
|
Induction is induction
|
|
5
|
992
|
March 3, 2024
|
|
Taming argmax
|
|
2
|
480
|
February 8, 2024
|
|
Cofree Tambara modules
|
|
0
|
142
|
February 2, 2024
|
|
Tambara modules are modules
|
|
7
|
416
|
January 9, 2024
|
|
Reflections from factorization systems
|
|
0
|
374
|
January 4, 2024
|
|
How to stay locally safe in a global world
|
|
0
|
115
|
December 7, 2023
|
|
State Management for Semagrams
|
|
0
|
132
|
September 22, 2023
|
|
Embrace Negativity
|
|
2
|
379
|
August 25, 2023
|
|
Approximate Morphisms
|
|
2
|
144
|
August 21, 2023
|
|
Strictification of 2-monads
|
|
13
|
148
|
July 10, 2023
|
|
The Cartesian equipment of ideals of R-algebras
|
|
0
|
82
|
July 10, 2023
|
|
Data structures with holes
|
|
0
|
100
|
May 17, 2023
|
|
Multicategories vs. monoidal categories
|
|
0
|
90
|
May 10, 2023
|
|
Nominal typing vs. structural typing
|
|
0
|
77
|
May 5, 2023
|
|
Big O Notation --- enriched categorically
|
|
1
|
91
|
May 3, 2023
|
|
Equivalence relations via idempotent endomorphisms
|
|
4
|
134
|
April 29, 2023
|
|
Capturing syntax trees
|
|
0
|
124
|
April 23, 2023
|
|
Typed References
|
|
1
|
95
|
April 17, 2023
|
|
Nested wiring diagrams via bicomodules
|
|
0
|
118
|
April 14, 2023
|
|
Quasi-borel spaces and the Lotteries monad
|
|
0
|
75
|
March 31, 2023
|