1
vote
0answers
17 views

Free objects in the category of dg modules

Suppose that $A$ is a dg algebra, does the category of dg modules over $A$ where morphisms are degree zero maps that commute with differential have a free object ( in general)? I have been reading a ...
0
votes
1answer
39 views

Zero object equivalent assertion

Let C be a category with zero object $0$. (i) Prove that for $A \in C$ the following assertions are equivalent: (a) A is a zero object; (b) $id_A$ is a zero morphism; (c) there is a monomorphism ...
5
votes
1answer
75 views

Question regarding adjoint functors

Suppose $B \rightarrow A$ is a morphism of rings. If $M$ is an $A$-module, one can create $M_B$ by considering it as a $B$-module. This gives a functor $\cdot_B: \mathrm{Mod}_A \rightarrow ...
1
vote
1answer
39 views

adjoint of forgetful functor related to localization

Let $A$ be a ring and $S$ a multiplicative subset of $A$ such that $1 \in S$. Let $G$ be the forgetful functor from $Mod_{S^{-1}A} \rightarrow Mod_A$. Taking an $S^{-1}A$-module N and consider it as ...
7
votes
2answers
108 views

The Freyd-Mitchell Embedding Theorem and projective (injective) objects

Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell Embedding Theorem gives me a fully faithful exact functor $F:\mathcal{A}\rightarrow R$-$\mathsf{Mod}$, for some unital ring $R$, so ...
1
vote
1answer
72 views

Some functorial maps $G\times G\rightarrow G$

Let $G$ be a group. Le diagonal map $\delta:G\rightarrow G\times G$ obviously gives a functorial morphism from the identity functor of $\mathbf{Grp}$ to the functor $P$ sending $G\mapsto G\times G$ ...
-1
votes
0answers
35 views

What is an easy to read book on category theory including the introduction of some killer apps for the theory? [duplicate]

What is an easy to read book on category theory including the introduction of some killer apps for the theory ?
2
votes
1answer
37 views

A seemingly simple fact about construction of maps proven categorically, i.e. by universal properties

If I have four sets $A,B,C,D$ and two maps $f_1 : A \to C$ and $f_2 : B \to D$, it is easy to find a unique map $f : A\times B \to C\times D$, namely $$ f(a,b) := (f_1(a), f_2(b)). $$ But now I want ...
3
votes
1answer
41 views

Question concerning the meaning of an equality sign in a commutative diagram

$\require{AMScd}$ I have the following question: Let $\mathscr{C}$ be a category, $X,Y,Z\in Ob(\mathscr{C}), \ f\in Mor(X,Y),\ g\in Mor(Y,Z)$ and $h\in Mor(X,Z)$. Question: What does the ...
0
votes
3answers
81 views

Exact functors and “short” exact functors

Let $A$ be a commutative ring. I thought that an exact functor (from the category of $A$-modules to itself) is defined to be a functor which sends every exact sequence to an exact sequence. But many ...
3
votes
1answer
67 views

Product in the category of pointed sets..

I have the category $C$, where: objects are nonempty sets with one fixed element $Obj = \{(A,a)$, where $A$-nonemty sets, $a\in A\}$, morphisms are $Mor=\{ f:(A,a)\rightarrow (B,b)$; where $f$ - is ...
1
vote
2answers
83 views

Category with only one object.

Suppose we have the category with only one object - the group G. Why can we think of the morphisms in this category as of the elements of the group G? I would be very grateful for explanation.
3
votes
0answers
37 views

What are the algebraic and topological properties of a tree (graph theory), and what are any possible connections?

I'm a non-mathematician working with trees (mostly rooted and oriented trees). Typically, I understand them as join-semilattices, so they have an implicit algebraic structure: they form a subgroup ...
2
votes
0answers
38 views

Kernels of induced maps in cohomology

Let $k$ be a field, and let $A$ and $B$ be two commutative $k$-algebras. Suppose $\varphi,\psi:A\to B$ are maps of $k$-algebras such that there are algebra automorphisms $G:A\to A$ and $F:B\to B$ ...
1
vote
1answer
50 views

Free object in category of groups.

Suppose $X$ is a set and $F$ is a free object on $X$ (with $i:X\rightarrow F$) in the category of groups. Prove that $i(X)$ is a set of generator for the group $F$. I have the following hint: If ...
2
votes
1answer
65 views

The cohomology ring of the nerve of a category associated to a vector space

Let $n\ge2$, and let $V$ be an $n$-dimensional vector space over a field $k$. Consider the category $\mathcal{C}$ whose objects are nonzero, proper subspaces of $V$, and whose morphisms are ...
2
votes
1answer
106 views

Every Abelian group is canonically a $\mathbb{Z}$-module. Is this just a coincidence?

Every Abelian group is canonically a $\mathbb{Z}$-module, where $\mathbb{Z}$ is the initial monoid in the monoidal category of Abelian groups. And every Abelian monoid is canonically an ...
1
vote
0answers
60 views

Generalizing a statement about direct limits in the category of $A$-modules to other categories

The original problem is from Atiyah and Macdonald's Introduction to Commutative Algebra, Ex 2.15: Suppose $(M_\alpha,\mu_{\beta\gamma})$ is a direct system of modules over a unital commutative ...
4
votes
0answers
36 views

Presentation of an object in an Eilenberg Moore category by generators and relations

Let $\cal C$ be a category and let $T \colon \cal C \longrightarrow C$ be a monad. An $T$-algebra $A$ is presented by generators $G \in \cal C$ and relations $R \in \cal C$ if it is the coequaliser of ...
3
votes
1answer
77 views

Universal property of polynomial ring in $\mathbf{CRING}$

I know that the polynomial ring $A[x]$ is the free $A$-algebra on $\{x\}$; this is its universal property in the category of $A$-algebras. Is there also a universal property for $A[x]$ considered as a ...
10
votes
6answers
380 views

Exercises in category theory for a non-working mathematican (undergrad)

I'm trying to learn category theory pretty much on my own (with some help from a professor). My main information source is the good old Categories for the working mathematician by Mac Lane. I find the ...
2
votes
1answer
49 views

Conceptual Question on different representations of Hyperplanes, Higher Standpoint, Coordinate-free

In a vector space $V$ over some field $F$ a hyperplane is the kernel of some linear transformation $T : V \to F$, i.e. the kernel of an element of the dual space (this could be taken as the definition ...
3
votes
3answers
101 views

Is it possible to describe $Q(x)$ as the extension field of $R$ freely generated by $\{x\}$?

Given an integral domain $R$, the polynomial ring $R[x]$ can be defined as the commutative $R$-algebra freely generated by $\{x\}$. Also, let $Q$ denote the field of fractions associated to $R$. Then ...
6
votes
1answer
152 views

Category Theory textbook (learning through guided discovery Dummit and Foote)

sorry for asking the same question in a slightly different angle, I want a book in Category Theory similar to Dummit and Foote's book in Abstract Algebra. I want it to have tons of examples and ...
3
votes
0answers
28 views

Localization and Direct limit [duplicate]

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
1
vote
1answer
127 views

Localization and direct limit

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
1
vote
1answer
26 views

Proving that finite direct and inverse limits exist in an additive category having kernels and cokernels

I have attempted to prove this but am unable to complete the proof. Below is my attempt. Let $\mathcal{A}$ be a category satisfying the conditions in the title and $\{M_i,\phi^i_j\}$ be a finite ...
0
votes
0answers
66 views

Can I assign a distinct homomorphism to every function?

I consider an algebraic structure and particular structure preserving morphisms (think groups and group homomorphism). I wonder if I can assign a distinct such morphisms to every function between any ...
5
votes
1answer
40 views

If $0$ is the zero-object $ \Longrightarrow F(0) $ is the zero object when $F$ additive

Let $$ F : \text{A-Mod} \to \text{A-mod} $$ be an additive functor. Then if $0$ is the zero-object $F(0) $ is the zero object. Why this is true ? The definition of additive functor that I know is ...
7
votes
1answer
75 views

Is there a name for those commutative monoids in which the divisibility order is antisymmetric?

Every commutative monoid $M$ is naturally equipped with its divisibility preorder, defined as follows. $$x \mid y \leftrightarrow \exists a(ax=y)$$ Is there a name for those commutative monoids such ...
4
votes
0answers
59 views

Existence of a coproduct and representability of a functor

I've found this claim: Let $\mathcal{C}$ be a category; the family $\lbrace C_i \rbrace_{i \in I }$ has a coproduct in $\mathcal{C}$ if and only if the functor $$F : \mathcal{C} \to Set$$ $$A ...
2
votes
1answer
38 views

Free objects are generated by the image of the canonical injection

Let $\mathcal{C}$ be a concrete category and $X$ be a set, let $F_X$ be free on $X$ with canonical injection $i:X\to F_X$. Is it always true that $i(X)$ generates $F_X$? It looks like an easy ...
2
votes
1answer
36 views

Is there a phrase to describe those objects of $\mathbf{C}$ that can be expressed as quotients of the algebra freely generated by $X$?

Let $\mathbf{C}$ denote the category of models of an algebraic theory in $\mathbf{Set}.$ Now suppose $X$ is an object of $\mathbf{Set}$. Is there a traditional phrase used to describe those objects of ...
0
votes
1answer
36 views

In a semi-simple module, any submodule is a direct factor?

I need help understanding the following : In a semi-simple module, any submodule is a direct factor (this is sometimes taken as the definition of semi-simple) (i) How is this equivalent to the ...
4
votes
1answer
124 views

Category theory for graph theory research

I am doing research in algebraic graph theory, focusing on the relation between graphs and groups (especially the representing groups as graphs) for my Ph.D. In particular, one of the ideas is to ...
1
vote
2answers
53 views

Question on Category Theory injective morphism

I have a basic understanding in Category Theory but haven't had any exposure to Modules but this is a question from last year's paper. Show that a morphism $u:M \to L$ in a category $\mathscr C$ of ...
6
votes
1answer
120 views

Adjoint Functor Theorem

The Freyd's Adjoint Theorem states that given a complete locally small category $\mathcal{C}$, a continuous functor $G: \mathcal{C} \to \mathcal{D}$ has a left adjoint if and only if it satisfies a ...
1
vote
2answers
98 views

Soft sheaves adapted to $f_!$

I'm reading Gelfand-Manin, Homological Algebra. I understand that the class of soft sheaves is sufficiently large, because every injective sheaf is soft. Now to see that this class is adapted to ...
1
vote
0answers
63 views

Characterizing the real numbers as a dense complete monoidal poset

Let $P$ be a poset with a monoidal structure respecting the poset structure. This means there is an operation $P \times P \to P$ such that $a \leq b \implies ac \leq bc$. As usual, call a poset ...
1
vote
2answers
34 views

Uniqueness of Initial Object, or why must a morphism from an object to itself be the identity?

The definition of an initial object in a category $\mathscr{C}$ is defined as an object that only has one map going to each object in $\mathscr{C}$. A basic result supposedly says that any two initial ...
1
vote
1answer
64 views

Pullback in morphism of exact sequences

Suppose we have the following morphism of short exact sequences in $R$-Mod: $$\begin{matrix}0\to&L&\stackrel{f'} \to& M'&\stackrel{g'}\to &N' & \to 0\\ ...
2
votes
1answer
21 views

Proving that the transformation obtained from an adjoint pair is natural

I am reading Homological Algebra by J.J. Rotman and am unable to do this problem. Given an adjoint pair $(F,G)$ where $F : \mathcal{C} \to \mathcal{D} $ and $G : \mathcal{D} \to \mathcal{C} $ are two ...
2
votes
1answer
58 views

Every category is the free category for a given graph?

I am wondering if for any category $C$ (at least a small category), we can find a graph $G$ (at least a small graph), such that $C$ is the free category generated by the graph $G$. I think this ...
3
votes
1answer
93 views

Infinite Direct Sums Vs. Infinite Direct Products

Let $|R|=|S|=\infty$. In very many concrete categories, I know $R^S$ can be identified as the set of all functions from S to R, and the much "smaller" $R^{\oplus S}$ can be identified as the subset of ...
1
vote
1answer
41 views

Set maps given by a polynomial & Yoneda Lemma

This Exercise 4.1. from the book Algebraic Geometry I, by Gortz. Problem Let $R$ be a ring, and for every $R$-algebra $A$ let $\alpha_A:A\rightarrow A$ be a map of sets such that for every ...
4
votes
1answer
112 views

Is $ L^{\infty} $ a direct limit or inverse limit of the directed system $ (L^p , i_{p}^q )_{p,q \in [1 , + \infty [ } $?

Let $X$ be a finite measure space. Then, for any $ 1≤p<q≤+∞ $ : $ L^q(X,B,m)⊂L^p(X,B,m) $. I would like to know if the space $ L^{\infty} ( X , B , m ) $ is the direct limit or the inverse limit of ...
2
votes
1answer
51 views

Action of the functor Ext$_1(-,-)$ on extensions

Suppose we have an exact sequence of $R$-modules \begin{array}{ccccccccc} 0 & \longrightarrow & L & \overset{f}{\longrightarrow} & M & \overset{g}{\longrightarrow} & E & ...
2
votes
1answer
60 views

An equivalence of categories of presheaves.

Let $C$ and $D$ be two small categories. Consider the corresponding categories of presheaves $PSh(C)$ and $PSh(D)$. Suppose we have an equivalence of categories $F: PSh(C) \to PSh(D)$. Asking for an ...
1
vote
1answer
57 views

Pushout of an injective map is injective

This is an exercise from Rotman , Introduction to homological algebra. Given a pushout diagram in $R$-Mod $$\begin{array} AA & \stackrel{g}{\longrightarrow} & C \\ \downarrow{f} & & ...
0
votes
1answer
37 views

Applying an additive covariant functor to a sequence

Let $F$ be an additive covariant functor and $0→A_1→A_1⊕A_2→A_2→0$ be the usual exact sequence in the category of $R$-modules with the first map injection on the first, and the second map the ...