Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings Ettore Aldrovandi∗ Department of Mathematics, Florida State University Abstract

Source URL: www.math.fsu.edu

Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren

Source URL: mawarren.net

• Homotopy theory
• Algebraic topology
• Algebraic structures
• Higher category theory
• Groupoid
• Functor
• Adjoint functors
• Sheaf
• Natural transformation
• Abstract algebra
• Category theory
• Mathematics

A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER

Source URL: perso.uclouvain.be

• Topology
• Adjoint functors
• Functor
• Equivalence relation
• Equivalence of categories
• Fibration
• Subobject
• Natural transformation
• Regular category
• Category theory
• Abstract algebra
• Mathematics

BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for

Source URL: www.brics.dk

• Functors
• Monad
• Kleisli category
• Limit
• Universal property
• Natural transformation
• Equivalence of categories
• Enriched category
• Cartesian closed category
• Category theory
• Adjoint functors
• Monoidal categories

Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira

Source URL: www.cs.ox.ac.uk

• Category theory
• Monad
• Functor
• Map
• Natural transformation
• Monoid
• List
• Applicative programming language
• Strong monad
• Adjoint functors
• Abstract algebra
• Software engineering

Sergejs Solovjovs Masaryk University Localification procedure for affine systems In 1989, S. Vickers introduced the notion of topological system as a common framework for both topological spaces and the underlying algebr

Source URL: web.science.mq.edu.au

• Category theory
• Structure
• Order theory
• Space
• Reflective subcategory
• Equivalence of categories
• Category of topological spaces
• Duality
• Complete Heyting algebra
• Mathematics
• Adjoint functors
• Abstract algebra

Categories and Modules Takahiro Kato March 12, 2015 ABSTRACT. Modules (also known as profunctors or distributors) and morphisms among

Source URL: vixra.org

• Mathematics
• Functor category
• Yoneda lemma
• Functor
• Adjoint functors
• Natural transformation
• Hom functor
• Sheaf
• Grothendieck topology
• Category theory
• Functors
• Abstract algebra

MBrace: Cloud Computing with Monads Jan Dzik Nick Palladinos Konstantinos Rontogiannis

Source URL: www.m-brace.net

• Adjoint functors
• Workflow technology
• Cloud infrastructure
• Functional languages
• Apache Hadoop
• MapReduce
• Monad
• Azure Services Platform
• Workflow
• Computing
• Cloud computing
• Software engineering

Unifying Theories of Programming with Monads Jeremy Gibbons UTP 2012, Aug 2012

Source URL: utp12.lri.fr

• Higher-order functions
• Functional programming
• Adjoint functors
• Fold
• Recursion
• Programming paradigms
• Map
• Monad
• Unification
• Software engineering
• Declarative programming
• Computing

Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1

Source URL: www.cs.ox.ac.uk

• Computer programming
• Adjoint functors
• Data types
• Monad
• Type theory
• Strong monad
• Type class
• Haskell
• Monoid
• Declarative programming
• Software engineering
• Functional programming