|
About the Research category
|
|
0
|
88
|
April 1, 2023
|
|
An Exercise in Using ACSets as a Data Structure in Research
|
|
7
|
136
|
August 15, 2024
|
|
Convolution, abstractly
|
|
5
|
426
|
April 3, 2024
|
|
Differential Equations with Jumps
|
|
13
|
242
|
March 21, 2024
|
|
Induction is induction
|
|
5
|
1202
|
March 3, 2024
|
|
Taming argmax
|
|
2
|
550
|
February 8, 2024
|
|
Cofree Tambara modules
|
|
0
|
179
|
February 2, 2024
|
|
Tambara modules are modules
|
|
7
|
521
|
January 9, 2024
|
|
Reflections from factorization systems
|
|
0
|
434
|
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
|
457
|
August 25, 2023
|
|
Approximate Morphisms
|
|
2
|
184
|
August 21, 2023
|
|
Strictification of 2-monads
|
|
13
|
217
|
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
|
128
|
May 10, 2023
|
|
Nominal typing vs. structural typing
|
|
0
|
118
|
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
|
176
|
April 14, 2023
|
|
Quasi-borel spaces and the Lotteries monad
|
|
0
|
111
|
March 31, 2023
|