In , an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism f : X → Y that is right-cancellative in the sense that, for all objects Z and all morphisms , Epimorphisms are categorical analogues of onto or surjective functions (and in the the concept corresponds exactly to the surjective functions), but they may not exactly coincide in all contexts; for example, the inclusion is a ring epimorphism. The of an epimorphism is a monomorphism (i.e. an epimorphism in a C is a monomorphism in the Cop). Many authors in abstract algebra and universal algebra define an epimorphism simply as an onto or surjective homomorphism. Every epimorphism in this algebraic sense is an epimorphism in the sense of category theory, but the converse is not true in all categories. In this article, the term "epimorphism" will be used in the sense of category theory given above. For more on this, see below. Every morphism in a whose underlying function is surjective is an epimorphism. In many concrete categories of interest the converse is also true. For example, in the following categories, the epimorphisms are exactly those morphisms that are surjective on the underlying sets: sets and functions. To prove that every epimorphism f: X → Y in Set is surjective, we compose it with both the characteristic function g1: Y → {0,1} of the image f(X) and the map g2: Y → {0,1} that is constant 1. Rel: sets with binary relations and relation-preserving functions. Here we can use the same proof as for Set, equipping {0,1} with the full relation {0,1}×{0,1}. Pos: partially ordered sets and monotone functions. If f : (X, ≤) → (Y, ≤) is not surjective, pick y0 in Y \ f(X) and let g1 : Y → {0,1} be the characteristic function of {y | y0 ≤ y} and g2 : Y → {0,1} the characteristic function of {y | y0 < y}. These maps are monotone if {0,1} is given the standard ordering 0 < 1. groups and group homomorphisms.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (5)
MATH-436: Homotopical algebra
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Show more
Related lectures (31)
Functors and Homomorphisms in Group Theory
Explores functors F_{Ab} and Hom (-,-) in group theory, including presentations and homomorphisms.
Meromorphic Functions & Differentials
Explores meromorphic functions, poles, residues, orders, divisors, and the Riemann-Roch theorem.
Limits of Functions: Definitions and Examples
Explains surjective, injective, and bijective functions, along with limits of functions.
Show more
Related publications (11)

Filter quotients and non-presentable (∞,1)-toposes

Nima Rasekh

We define filter quotients of -categories and prove that filter quotients preserve the structure of an elementary -topos and in particular lift the filter quotient of the underlying elementary topos. We then specialize to the case of filter products of -ca ...
2021

Generic vanishing in characteristic p > 0 and the geometry of theta divisors

Zsolt Patakfalvi

In this paper, we prove a strengthening of the generic vanishing result in characteristic p > 0 given in Hacon and Patakfalvi (Am J Math 138(4):963-998, 2016). As a consequence of this result, we show that irreducible Theta divisors are strongly F-regular ...
SPRINGER INTERNATIONAL PUBLISHING AG2021

Twisting structures and morphisms up to strong homotopy

Kathryn Hess Bellwald

We define twisted composition products of symmetric sequences via classifying morphisms rather than twisting cochains. Our approach allows us to establish an adjunction that simultaneously generalizes a classic one for algebras and coalgebras, and the bar- ...
2019
Show more
Related concepts (34)
Morphism
In mathematics, particularly in , a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear algebra, linear transformations; in group theory, group homomorphisms; in analysis and topology, continuous functions, and so on.
Category of abelian groups
In mathematics, the Ab has the abelian groups as and group homomorphisms as morphisms. This is the prototype of an : indeed, every can be embedded in Ab. The zero object of Ab is the trivial group {0} which consists only of its neutral element. The monomorphisms in Ab are the injective group homomorphisms, the epimorphisms are the surjective group homomorphisms, and the isomorphisms are the bijective group homomorphisms. Ab is a of Grp, the .
Preadditive category
In mathematics, specifically in , a preadditive category is another name for an Ab-category, i.e., a that is over the , Ab. That is, an Ab-category C is a such that every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation. In formulas: and where + is the group operation. Some authors have used the term additive category for preadditive categories, but here we follow the current trend of reserving this term for certain special preadditive categories (see below).
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.