246 TUGboat, Volume), No. 3 Graphics Diagxy, a Lego-like diagram package

Source URL: www.tug.org

• Computing
• Functors
• Category theory
• Diagrams
• Commutative diagram
• Limit
• Arrow
• C syntax
• TeX
• Mathematics
• Computer programming
• Homological algebra

Cocomplete Q-categories are precisely the injectives wrt. fully faithful functors Isar Stubbe 11 JuneThis note records a variation on a remark made by Dirk Hofmann at an informal

Source URL: www-lmpa.univ-littoral.fr

Zhen Lin Low University of Cambridge Accessible functors and inaccessible cardinals The Grothendieck–Verdier universe axiom asserts that every set is a member of some set-theoretic universe U that is itself a set. One

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

From Structures and Functors to Modules and Units Scott Owens Matthew Flatt University of Utah

Source URL: www.cs.utah.edu

Categorical structures enriched in a quantaloid: categories, distributors and functors Isar Stubbe∗ May 10, 2004 Abstract

Source URL: www-lmpa.univ-littoral.fr

Pr´e-Publica¸c˜oes do Departamento de Matem´atica Universidade de Coimbra Preprint Number 12–39 ON FINAL COALGEBRAS OF POWER-SET FUNCTORS AND SATURATED TREES

Source URL: www.mat.uc.pt

Exponentiable functors between quantaloid-enriched categories Maria Manuel Clementino∗, Dirk Hofmann† and Isar Stubbe‡ July 3, 2007§ Abstract. Exponentiable functors between quantaloid-enriched categories are

Source URL: www-lmpa.univ-littoral.fr

• Adjoint functors
• Functor
• Universal property
• Limit
• Sheaf
• Equivalence of categories
• Initial and terminal objects
• Monad
• Complete Heyting algebra
• Abstract algebra
• Category theory
• Mathematics

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Source URL: okmij.org

• Functional programming
• Data types
• Type theory
• Higher-order functions
• Adjoint functors
• Monad
• Pattern matching
• Type system
• List
• Software engineering
• Declarative programming
• Computing

97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H

Source URL: sites.uclouvain.be

• Monoidal categories
• Homotopy theory
• Algebraic structures
• Adjoint functors
• Monad
• Hopf algebra
• Algebraic topology
• Monoid
• Crossed module
• Abstract algebra
• Algebra
• Category theory

Gorenstein Homology, Relative Pure Homology and Virtually Gorenstein Rings

Source URL: math.ipm.ac.ir

• Homological algebra
• Morphisms
• Commutative algebra
• Gorenstein ring
• Homomorphism
• Homology
• Pure submodule
• Functors
• Projective module
• Abstract algebra
• Algebra
• Module theory