Derived functors in group theory and homotopy theory Roman Mikhailov (St. Petersburg State University) Every two-sided ideal a in the integral group ringZ[G] of a group G determines a normal subgroup F ∩ (1 + a) of G,

Source URL: www.7ecm.de

• Algebra
• Mathematics
• Abstract algebra
• Homotopy theory
• Functors
• Homological algebra
• Inder Bir Singh Passi
• Homotopy group
• Derived functor
• Homology
• Normal subgroup
• Natural transformation

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ “It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki

Source URL: gbaz.github.io

• Computer programming
• Software engineering
• Mathematics
• Adjoint functors
• Axiom
• Monad
• Topos
• Theory
• Real number
• Set theory

Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra

Source URL: chu.stanford.edu

• Algebraic structures
• Chu space
• Semilattice
• Boolean algebra
• Structure
• Homomorphism
• Partially ordered set
• Lattice
• Adjoint functors
• Binary relation
• Isomorphism
• Dual space

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

MATH 210A PROBLEM SET 4 Do 6 of the following 7 problems. This problem set will be due on Thursday October 30 at noon in Evita Nestoridi’s mailbox on the first floor of the mathematics department, or in class. If and

Source URL: math.stanford.edu

• Functors
• Abstract algebra
• Algebra
• Mathematics
• Group theory
• Natural transformation
• Spectral sequence

ON KONTSEVICH’S HOCHSCHILD COHOMOLOGY CONJECTURE P. HU, I. KRIZ AND A.A. VORONOV 1. Introduction A conjecture of Deligne stated that the Hochschild cohomology complex of an

Source URL: www.math.lsa.umich.edu

• Homotopy theory
• Algebraic topology
• Category theory
• Abstract algebra
• Functors
• Highly structured ring spectrum
• Model category
• Simplicial set
• Koszul duality
• Operad theory
• Hochschild homology
• Cohomology

Lecture 3. Resolutions and derived functors (GL) This lecture is intended to be a whirlwind introduction to, or review of, resolutions and derived functors – with tunnel vision. That is, we’ll give unabashed preferen

Source URL: www.leuschke.org

ADJOINT FUNCTORS IN GRAPH THEORY JAN FONIOK AND CLAUDE TARDIF Abstract. We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and t

Source URL: iti.mff.cuni.cz