Problems formulated with adjoint functors 1.3 Adjoint functors as solving optimization problems 1.4 The case of partial orders 2 Formal definitions...

Diagonal functor : The diagonal functor is defined as the functor from D to the functor category D C which sends each object in D to the constant f...

Beck's monadicity theorem gives a characterization of monadic functors. [ edit ] Uses Monads are used in functional programming to express types of...

It follows that any functor which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will ta...

Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in Top (with the monoidal struct...

Monoid ring - Wikipedia, the free encyclopedia Monoid ring From Wikipedia, the free encyclopedia Jump to: navigation , search In abstract algebra ,...

This article takes some care to show how these all represent the same concept, despite a wide variety of notation and terminology in use. Contents ...

Similarly, the requirement for the ring multiplication to be associative is sometimes dropped, and rings in which the associative law holds are the...

In the various branches of mathematics that fall under the heading of abstract algebra , the kernel of a homomorphism measures the degree to which ...

Among other useful concepts are regular epimorphism , extremal epimorphism , strong epimorphism , and split epimorphism . A regular epimorphism coe...

Rng : a ring lacking a multiplicative identity. Commutative ring : a ring with commutative multiplication. Boolean ring : a commutative ring with i...

Topology and Groupoids referenced below to obtain the fundamental groupoid of the orbit space of a discontinuous action of discrete group on a Haus...