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

Microsoft Word - ET vwo juli 2012 engels def met uitwerkingen.docx

Source URL: www.boswell-beta.nl

• Thermodynamics
• Heat transfer
• Introductory physics
• Physical quantities
• Weir
• Temperature
• Mass–energy equivalence
• Light-emitting diode
• Energy
• Physics
• State functions
• Chemistry

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

Testing for Shape Invariance of Semiparametric Equivalence Scales Thanasis Stengos and Dianqin Wang∗ Department of Economics, University of Guelph February 11, 2005

Source URL: www.uoguelph.ca

JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal

Source URL: www3.nd.edu

• Addition
• Mathematics education
• Fraction
• Function
• Sign
• Equivalence relation
• Equation
• Relational operator
• Mathematics
• Elementary arithmetic
• Equals sign

Avis du 13 janvier 2015 VERSION FINALE Avis du Comité consultatif du secteur financier sur l’équivalence du niveau de garantie en assurance emprunteur

Source URL: www.banque-france.fr

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

Synthesizing Certificates in Networks of Timed Automata∗ Bernd Finkbeiner Hans-J¨org Peter Saarland University {finkbeiner | peter}@cs.uni-sb.de

Source URL: cgi.csc.liv.ac.uk

• Applied mathematics
• Mathematics
• Büchi automaton
• Automata theory
• Equivalence relation
• Computer science

Acta Numerica http://journals.cambridge.org/ANU Additional services for Acta Numerica:

Source URL: www.ayasdi.com

• Homotopy theory
• Topological spaces
• Algebraic topology
• General topology
• Fundamental group
• Homotopy
• Quotient space
• Path
• Equivalence relation
• Topology
• Mathematics
• Space

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting Tom Hirschowitz To cite this version: Tom Hirschowitz. Cartesian closed 2-categories and permutation equivalence in higher-order

Source URL: hal.archives-ouvertes.fr