- Towards a Unified Theory of Time-Varying Data
2024/01/31 by Bumpus, Benjamin Merlin, Fairbanks, James, Karvonen, Martti +2 · 2 citations
#18D70 #68P05 #68R01 #Category Theory (math.CT) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #FOS: Mathematics
- The formal theory of relative monads
2023/02/27 by Arkor, Nathanael, McDermott, Dylan · 5 citations
#18A40 #18C15 #18C20 #18D20 #18D60 #18D65 #18D70 #18M50 #18M65 #18N10 #Category Theory (math.CT) #FOS: Mathematics