31. Canonical Gradings of Monads
    2023/07/28 by Flavien Breuvart, Dylan McDermott, Tarmo Uustalu · 1 voice · 1 citation
    Computer Science · Mathematics · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #cs.LO #cs.PL #math.CT
32. Causal models in string diagrams
    2023/04/15 by Robin Lorenz, Robin G. Lorenz, Lorenz, Robin +2 · 1 voice · 7 citations
    Arts and Humanities · Biochemistry, Genetics and Molecular Biology · Computer Science · #Bayesian Modeling and Causal Inference #Biomedical Text Mining and Ontologies #Philosophy and History of Science #cs.LG #cs.LO #math.CT
33. A Mathematical Model of Package Management Systems
    2023/02/10 by Gershom Bazerman, Emilio Minichiello, Bazerman, Gershom +3 · 2 voices
    Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #Software Engineering Research #cs.LO #math.CT
34. Distilling Text into Circuits
    2023/01/25 by Vincent Wang-Mascianica, Vincent Wang-Maścianica, Wang-Mascianica, Vincent +4 · 2 voices
    Computer Science · Mathematics · Social Sciences · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #Language and cultural evolution #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Speech and dialogue systems #cs.AI #cs.CL #cs.LO #math.CT
35. A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
    2023/01/04 by Rebekah Aduddell, James Fairbanks, Amit Kumar +3 · 1 voice · 6 citations
    Biochemistry, Genetics and Molecular Biology · Mathematics · #Bioinformatics and Genomic Networks #Gene Regulatory Network Analysis #Microbial Metabolic Engineering and Bioproduction #math.CT #q-bio.MN
36. Category Theory for Programming
    2022/09/02 by Benedikt Ahrens, Ahrens, Benedikt, Kobe Wullaert +1 · 2 voices
    Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.PL #math.CT
37. An invitation to topological orders and category theory
    2022/05/11 by Liang Kong, Zhihao Zhang, Zhi-Hao Zhang +2 · 1 voice · 7 citations
    Chemical Engineering · Chemistry · Materials Science · Mathematics · Physics and Astronomy · #Catalysis and Oxidation Reactions #Category Theory (math.CT) #Diatoms and Algae Research #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #History and advancements in chemistry #Quantum Algebra (math.QA) #Strongly Correlated Electrons (cond-mat.str-el) #cond-mat.str-el #hep-th #math.CT #math.QA
38. Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
    2022/05/08 by Brandon T. Shapiro, David I. Spivak · 2 voices · 1 citation
    Computer Science · Economics, Econometrics and Finance · Mathematics · #Complex Systems and Time Series Analysis #cs.LG #cs.MA #math.CT #math.DS
39. Markov categories, causal theories, and the do-calculus
    2022/04/11 by Yimu Yin, Jiji Zhang, Yin, Yimu +1 · 1 voice · 2 citations
    Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO #math.CT #math.ST
40. Actegories for the Working Amthematician
    2022/03/30 by Matteo Capucci, Capucci, Matteo, Bruno Gavranović +1 · 2 voices · 2 citations
    Mathematics · #18-02 #Category Theory (math.CT) #FOS: Mathematics #math.CT
41. Categorical Data Structures for Technical Computing
    2021/06/08 by Evan Patterson, Owen Lynch, James Fairbanks · 2 voices · 4 citations
    Computer Science · #cs.DB #cs.LO #math.CT
42. Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories
    2021/05/22 by Xerxes D. Arsiwalla, Arsiwalla, Xerxes D., Jonathan Gorard +3 · 1 voice · 1 citation
    #math.CT #cs.DM #cs.LO #math-ph #math.CO
43. Left-exact localizations of ∞-topoi I: Higher sheaves
    2021/01/07 by Mathieu Anel, Georg Biedermann, Eric Finster +1 · 1 voice · 1 citation
    Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT
44. Entropy and Diversity: The Axiomatic Approach
    2020/12/03 by Tom Leinster · 4 voices · 7 citations
    #q-bio.PE #cs.IT #math.CA #math.CT #q-bio.QM
45. Non-pseudounitary fusion
    2020/10/06 by Andrew Schopieray, Schopieray, Andrew · 1 voice
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.CT #math.QA
46. Boolean valued models, presheaves, and étalé spaces
    2020/06/26 by Moreno Pierobon, Matteo Viale, Pierobon, Moreno +1 · 1 citation
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #math.CT #math.LO
47. Aspects of categorical recursion theory
    2020/01/16 by Pieter Hofstra, Philip Scott, Hofstra, Pieter +1 · 1 voice
    #math.CT
48. Starting Category Theory
    2019/12/23 by Paolo Perrone · 4 voices
    Computer Science · Mathematics · #History and Theory of Mathematics #Mathematics and Applications #cs.LO #math.CT #math.HO
49. Compositional Deep Learning
    2019/07/16 by Bruno Gavranović, Gavranović, Bruno · 1 voice · 1 citation
    Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications #cs.AI #cs.LG #math.CT
50. The Way of the Dagger
    2019/04/24 by Martti Karvonen, Karvonen, Martti · 1 voice
    Computer Science · Mathematics · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math.CT
51. Embracing the Laws of Physics: Three Reversible Models of Computation
    2018/11/08 by Jacques Carette, Roshan P. James, Carette, Jacques +3 · 1 voice · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms #Distributed and Parallel Computing Systems #Quantum Computing Algorithms and Architecture #cs.LO #cs.PL #math.CT #quant-ph
52. What is Applied Category Theory?
    2018/09/16 by Tai-Danae Bradley, Bradley, Tai-Danae · 4 voices · 1 citation
    Chemistry · #History and advancements in chemistry #math.CT
53. Seven Sketches in Compositionality: An Invitation to Applied Category\n Theory
    2018/03/14 by Brendan Fong, David I. Spivak, David I Spivak +2 · 16 voices · 23 citations
    Business, Management and Accounting · Computer Science · Decision Sciences · Mathematics · #Fuzzy and Soft Set Theory #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Optics and Image Analysis #math.CT
54. Temporal Type Theory: A topos-theoretic approach to systems and behavior
    2017/10/27 by Patrick Schultz, Schultz, Patrick, David I. Spivak +1 · 3 voices · 1 citation
    Computer Science · #math.CT #math.LO
55. Theoretical Computer Science for the Working Category Theorist
    2017/10/04 by Noson S. Yanofsky, Yanofsky, Noson S. · 1 voice
    Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Distributed and Parallel Computing Systems #Homotopy and Cohomology in Algebraic Topology #cs.CC #cs.LO #math.CT
56. Props in Network Theory
    2017/07/26 by John C. Baez, Brandon Coya, Franciscus Rebro · 2 voices · 3 citations
    #math.CT #math-ph
57. Basic Category Theory
    2016/12/30 by Tom Leinster, Leinster, Tom · 9 voices · 9 citations
    #math.CT #math.AT #math.LO
58. Algebraic Presentations of Dependent Type Theories
    2016/02/26 by Valery Isaev, Isaev, Valery · 1 voice
    Computer Science · Mathematics · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.CT #math.LO
59. Homotopy linear algebra
    2016/02/16 by Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks · 1 voice · 1 citation
    Mathematics · #Advanced Operator Algebra Research #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT
60. Algebraic Databases
    2016/02/10 by Patrick Schultz, David I. Spivak, Schultz, Patrick +5 · 2 voices
    Computer Science · Mathematics · #18C10 #18D05 #68P15 #Category Theory (math.CT) #Databases (cs.DB) #FOS: Computer and information sciences #FOS: Mathematics #cs.DB #math.CT

prev more