Richard Garner
- Restriction categories as enriched categories
2012/11/27 by Robin Cockett, Cockett, Robin, Richard Garner +1 · 3 citations
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)
- Graphical Presentations of Symmetric Monoidal Closed Theories
2008/10/24 by Richard Garner, Tom Hirschowitz, Garner, Richard +3 · 3 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra
- Variable binding, symmetric monoidal closed theories, and bigraphs
2009/05/26 by Richard Garner, Tom Hirschowitz, Garner, Richard +3 · 1 citation
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #semigroups and automata theory
- Enriched categories as a free cocompletion
2013/01/15 by Richard Garner, Michael Shulman, Garner, Richard +1 · 1 citation
Mathematics · #18A35 #18D05 #18D20 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
- Coalgebras governing both weighted Hurwitz products and their pointwise\n transforms
2015/10/18 by Richard Garner, Garner, Richard, Ross Street +1 · 1 citation
Mathematics · #05A15 #16T30 #18A32 #18D05 #18D10 #20H30 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology