|
About the Research category
|
|
0
|
87
|
April 1, 2023
|
|
Convolution, abstractly
|
|
5
|
421
|
April 3, 2024
|
|
Differential Equations with Jumps
|
|
13
|
238
|
March 21, 2024
|
|
Induction is induction
|
|
5
|
1189
|
March 3, 2024
|
|
Taming argmax
|
|
2
|
543
|
February 8, 2024
|
|
Cofree Tambara modules
|
|
0
|
179
|
February 2, 2024
|
|
Tambara modules are modules
|
|
7
|
517
|
January 9, 2024
|
|
Reflections from factorization systems
|
|
0
|
426
|
January 4, 2024
|
|
How to stay locally safe in a global world
|
|
0
|
155
|
December 7, 2023
|
|
State Management for Semagrams
|
|
0
|
189
|
September 22, 2023
|
|
Embrace Negativity
|
|
2
|
456
|
August 25, 2023
|
|
Approximate Morphisms
|
|
2
|
182
|
August 21, 2023
|
|
Strictification of 2-monads
|
|
13
|
214
|
July 10, 2023
|
|
The Cartesian equipment of ideals of R-algebras
|
|
0
|
130
|
July 10, 2023
|
|
Data structures with holes
|
|
0
|
137
|
May 17, 2023
|
|
Multicategories vs. monoidal categories
|
|
0
|
125
|
May 10, 2023
|
|
Nominal typing vs. structural typing
|
|
0
|
117
|
May 5, 2023
|
|
Big O Notation --- enriched categorically
|
|
1
|
126
|
May 3, 2023
|
|
Equivalence relations via idempotent endomorphisms
|
|
4
|
196
|
April 29, 2023
|
|
Capturing syntax trees
|
|
0
|
151
|
April 23, 2023
|
|
Typed References
|
|
1
|
130
|
April 17, 2023
|
|
Nested wiring diagrams via bicomodules
|
|
0
|
173
|
April 14, 2023
|
|
Quasi-borel spaces and the Lotteries monad
|
|
0
|
110
|
March 31, 2023
|