Various structures are studied in category theory using properties of objects and morphisms between them. Many constructions are special cases of categorical limits and colimits (e.g. products in various categories). The notions of functor and natural transformations are very important in category ...

learn more… | top users | synonyms (2)

1
vote
1answer
32 views

A filtered poset and a filtered diagram (category)

Let $X$ be a poset. Statement: A subset $Y\subseteq X$ is filtered if an only if there exists a filtered diagram (category) $D$ with a functor $D\rightarrow X$ such that the image of $D$ is $Y$. How ...
3
votes
1answer
41 views

Uniqueness of Duals in a Monoidal Category

Given a monoidal category ${\cal C}$, and $X \in {\cal C}$, we define a left dual of $X$ to be an object $X^*$ such that there exist morphisms $\epsilon:X^* \otimes X \to I$, and $\eta:I \to X \otimes ...
10
votes
1answer
487 views

Why are there so many universal properties in math?

I don't really understand why there are so many universal properties in math or why they all need to be highlighted. For example, I'm studying some Algebra right now. I have found three universal ...
3
votes
1answer
181 views

Forgetful functor from R-modules to abelian groups?

I am trying to see, if the forgetful functor from $\mathbb{Z}[X]$-modules to abelian groups is exact and in case it is not exact, is it left or right exact. In general, i understand the definition of ...
3
votes
1answer
46 views

Recommendation on setting the reference axis for mathematical objects

(I don't know what the title should be for this post, please change it if you have a better title. Also tags) In many situations, there arises cases that one mathematical structure embeds into ...
1
vote
2answers
73 views

(Are there) subtleties in the definition of 'biproduct'

I always thought that a biproduct of two objects $A_1,A_2$ in some category $\mathcal{C}$ is an object $P$ with two maps $p_i:P\to A_i$ making it a product and two maps $j_i:A_i\to P$ making it a ...
0
votes
1answer
57 views

factorization of a unit of an adjunction

Let $F$ be a left adjoint functor to $V$. Factor $X \to VK$ through the adjunction unit $$ X \to VFX \to VK, $$ where the first map is $\eta_X$, the second map is $V$ of the adjoint map $FX \to K$, ...
6
votes
1answer
131 views

The ring of idempotents

Let $R$ be a commutative ring. Then its ring of idempotents $I(R)$ consists of the idempotent elements of $R$, with the same multiplication as in $R$, but with the new addition $x \oplus y := ...
4
votes
2answers
94 views

question about monoidal structure of a 2-category

Consider an extension of the 1-category of vector spaces and linear maps down to a 2-category $\mathcal{C}$ whose objects are $k$-linear categories. What is the symmetric monoidal structure on the ...
1
vote
1answer
43 views

The Verdier Quotient

In A.Neeman's book and D.Murfet's notes I have been reading about the construction of the Verdier quotient of a triangulated category, $\mathscr{T}$, by some triangulated subcategory $\mathscr{C}$. In ...
3
votes
1answer
86 views

Image under a left adjoint functor

Suppose $\psi: \mathbf{Groups} \rightarrow \mathbf{Sets}$ is a left adjoint functor. How would I go about evaluating $\psi(\mathbb{Z})$? Since $\psi$ is left adjoint, let $\psi$ be left adjoint to a ...
2
votes
1answer
59 views

How to prove uniqueness of *wannabe* final object in a slice category?

I am beginning to study category theory, and I think I need your help to find my way in this sea of uncertainty (!). I have the following problem (n. $5.11$ from Aluffi's Algebra: Chapter $0$). Let ...
1
vote
0answers
27 views

Colimits in the 2-category of partial functions (which is locally posetal)

I am interested in the category $\mathcal{Pfn}$ of partial functions (using sets as objects), which is well-known to be bicomplete. And it is also known that one can consider $\mathcal{Pfn}$ as a ...
0
votes
0answers
18 views

Does Extremal Mono imply Split Mono in (Epi, Regular Mono)-factorization categories?

I am trying to prove that if $m\colon A\to B$ is an extremal mono in a category with (epi, regular mono)-factorizations, i.e., each arrow factorizes as a epi followed by a regular mono, then $m$ is a ...
4
votes
1answer
172 views

Direct sum and direct product of infinitely many abelian groups are not isomorphic

Let $I$ be an infinite set, and for each $i$ let $A_i$ be an abelian group with order $o(A_i) \ge 2$. Prove that the direct product $\prod A_i$ and the direct sum (coproduct) $\bigoplus A_i$ are ...
1
vote
0answers
30 views

Aluffi: submodule $\Longleftrightarrow$ cokernel?

Aluffi makes the following brief statement, in the context of modules: "The last sentence of Proposition 6.2 simply reiterates the slogan submodule $\Longleftrightarrow$ kernel and its mirror ...
1
vote
1answer
68 views

If $\Phi: \mathbf{Vec} \rightarrow \mathbf{Vec}$ with $\Phi(V) = V^{\ast\ast}$ and $f: V \rightarrow W$, what is $\Phi(f)$?

Let $\Phi$ be an endofunctor of the category of vector spaces over a field which sends a vector space to its double dual. Let $V$ and $W$ be 2 vector spaces and let $f: V \rightarrow W$ be a morphism ...
1
vote
0answers
34 views

Axioms of Abelian Category [duplicate]

I know that the one of the axioms of abelian categories is that the induced morphism $ \text{coker}(\ker f ) \longrightarrow \ker ( \text{coker} f ) $ for any morphism $ f $ is an isomorphism. ...
3
votes
1answer
115 views

Morita contexts without tears

My question is: Has anybody seen Morita contexts introduced as it is done below? I first intended this as an answer to the question "Reference request: Morita contexts" by Bey, but then decided to ...
0
votes
1answer
35 views

What are the faces of $Id_{A}$?

I've been reading Awodey's Category Theory and I've seen the definition of the Identity function in it. As it's definition was always a function $f:A\to A$ I used to assume that the identity function ...
0
votes
1answer
61 views

Dinatural transformation,constant functor,hom functor

Let $U,V$ be functors between categories $C$ and $X$ and let $Y\in Set$. Why a dinatural transformation $Y\xrightarrow{\cdot \cdot}\hom_X(U-,V-)$ is a function which assigns to $y\in Y$ a natural ...
0
votes
1answer
146 views

Category theory? Logic? Anyone experienced this like me? [closed]

Mathematics is not logic, but if one uses Zorn's lemma and stuff he should accept logical impact on mathematics. I'm the one who cares a lot about logics. It seems like Category theory is inevitable ...
3
votes
2answers
76 views

Understanding the significance of a functor being full/faithful, especially with adjoints

I'm working through "Basic Category Theory" by Tom Leinster and am trying to get clarity on how to reason about things... one thing I'm not sure about is how to think about what a functor being ...
0
votes
1answer
54 views

CWM book,ends,category theory,natural transformation

I have a problem in the MacLane's book Categories for the working mathematician. On page 223,the chapter on Ends,he has two functors $U,V:C\rightarrow X$ and defines a dinatural transformation $\tau:Y ...
2
votes
2answers
68 views

Trying to understand significance of monoid as a one object category

So I generally understand the idea of a monoid from set theory, but I'm trying to understand better the mapping to category theory. http://en.wikipedia.org/wiki/Monoid#Relation_to_category_theory I ...
0
votes
1answer
84 views

Is the pullback of a *not necessarily continuous* open map along a continuous map open?

The pullback of an open map in Top is open. We could consider more generally the pullback in Set along a continuous function $g : A \to B$ of a function $f: C \to B$ which take opens to opens, but is ...
4
votes
5answers
82 views

Identifyng objects in a category

Is there a general way of identifying objects in a category to produce a new category? Something like a quotient by a relation on objects. How would the morphisms behave?
0
votes
0answers
27 views

Lang's Algebra: Chapter 1 Question 52,fiber coproducts

STATEMENT: Show that push-outs exist in the category of abelian groups. In this case the fiber coproducts of two homomorphism $f,g$ as above is denoted by $X\oplus_Z Y$. Show that it is the factor ...
0
votes
1answer
79 views

Weighted colimits,hom-functor,Usage of Yoneda lemma

I have a question about weighted colimits. Let $D:E\rightarrow Set$ be a diagram,and $\phi:E^{op} \rightarrow Set$ a weight. $\phi*D \in Set$ is defined by this iso (i.e. a bijection),natural in $X$, ...
1
vote
1answer
27 views

Mac Lane‘s proof of coherence theorem for symmetric monoidal categories.

In [CWM, Ch. XI, §1], Mac Lane prove the coherence theorem for symmetric monoidal categories by assuming the strictness. Thus we have a $n-$ary tensor functor $T$, and the theorem states that any two ...
2
votes
1answer
71 views

How would a category theorist describe Green's relations?

In Semigroup Theory, Green's relations are everywhere. Their equivalence classes, for instance, on a given semigroup $S$ can tell one a lot about the structure of $S$. There is some trivial sense in ...
1
vote
0answers
49 views

Yoneda lemma for enriched categories

Let $\mathcal{M}$ be a monoidal category. Is there a generalization of the Yoneda lemma to categories enriched over $\mathcal{M}$? In the specific case I need, $\mathcal{M}$ would be the category ...
3
votes
1answer
74 views

Equivalent Conditions for left-adjoint-left-inverse

I am doing an exercise in MacLane, in which three equivalent conditions for left-adjoint-left-inverses are to be proved. I have done the cycle of implications except for one point. Let ...
6
votes
1answer
70 views

Lacking properties of the category of smooth manifolds

According to Wikipedia "the category of smooth manifolds with smooth maps lacks certain desirable properties"(http://en.wikipedia.org/wiki/Differentiable_manifold#Generalizations). What are these ...
0
votes
0answers
36 views

Lang Fiber Products

STATEMENT: Let $\mathcal{C}$ be a category.A product in $\mathcal{C}_z$ is called the fiber product of $f$ and $g$ in $\mathcal{C}$ and is denoted by $X\times_zY$, together with its natural morphisms ...
5
votes
1answer
78 views

Aluffi, Exercise 2.12, regarding the cokernel in $\sf{Ring}$ of $\mathbb{Z} \hookrightarrow \mathbb{Q}$

I am working in Aluffi's Algebra: Chapter $0$ textbook, and Chapter 3, Exercise 2.12 asks one to determine the cokernel in $\sf{Ring}$ of the imbedding $i \colon \mathbb{Z} \hookrightarrow ...
2
votes
1answer
47 views

Computation of adjoint functors (sheafification)

In a (complete) category, limits can be "computed" assuming one knows how to compute products and equalisers. I have seen it mentioned that adjoint functors can be found using certain ...
3
votes
1answer
66 views

Equivalence of categories $\Pi_1:\mathbf{K^1_{CW,*}}\to \mathbf{Grp}$

Let $K(G,1)$ denote the Eilenberg-Maclane spaces with fundamental groups isomorphic to $G$. Consider the category $\mathbf{K^1_{CW,*}}$ where objects are pointed $K(G,1)$ CW complex, and morphisms ...
2
votes
0answers
46 views

A question regarding Yoneda's lemma.

Suppose you have two objects $A$ and $A'$ in a category $\mathfrak{C}$, and morphisms $i_C:\text{Mor}(C,A)\to\text{Mor}(C,A')$ for any object $C\in\mathfrak{C}$. Show that the $i_C$ are induced ...
3
votes
1answer
55 views

How does Yoneda lemma give that the natural isomorphism $\operatorname{hom}(A,-)\cong\operatorname{hom}(B,-)$ implies $A\cong B$?

I'm trying to work out an element free proof of the associativity of the tensor product, that $$ (M\otimes_A N)\otimes_B P\cong M\otimes_A (N\otimes_B P). $$ Since $\operatorname{hom}$ and $\otimes$ ...
0
votes
1answer
42 views

“Identity-free” definition of an isomorphism in a semigroupoid / semicategory

I am looking for a way to define "Isomorphism" in a semigroupoid (or semicategory), that is a "category", which does not necessarily have identities. To be more specific I am looking for a way to ...
3
votes
2answers
64 views

Determining final and initial object in a certain category

I am reading Paolo Aluffi's greatly entertaining book "Algebra: Chapter $0$" and I got stuck on some excercises dealing with universal properties. Let $C$ be a category, and let $A$ and $B$ be two ...
0
votes
1answer
34 views

Lang Universal Objects

STATEMENT: Let $\mathcal{C}$ be a category. An object $P$ of $\mathcal{C}$ is called universally attracting if there exists a unique morphism of each object of $\mathcal{C}$ into $P$, and is called ...
3
votes
1answer
60 views

Lang Category Theory

STATEMENT: Let $A,B$ beobjects of a category $\mathcal{A}$. Let Iso$(A,B)$ be the set of isomorphisms of Awith B. Then the group Aut$(B)$ opoerates on Iso(A,B) by composition; namely, if ...
4
votes
1answer
40 views

examples of additive categories which have morphism that has no kernel and morphism has no cokernels.

can you tell me examples of additive categories which have morphism that has no kernel and morphism has no cokernels. if you tell me reference which provide this kind of examples it will be ...
2
votes
0answers
35 views

Representable functors, why are they important? [closed]

why it is so important to a functor to be representable? what properties have a representable functor? can you give examples that arise naturally in other theories? examples of any reasonable functor ...
4
votes
3answers
184 views

Reference textbook developing NBG set theory

I'm starting Borceux "Handbook of Categorical Algebra". It starts with a brief discussion of the logical foundations of category theory. He describes two approaches: 1.defining universes and 2. With ...
4
votes
0answers
31 views

What's the difference between a cartesian monoidal category and a semicartesian monoidal category?

According to ncatlab: In a semicartesian monoidal category, any tensor product of objects $x \otimes y$ comes equipped with morphisms $$ p_x : x \otimes y \to x $$ $$ p_y : x \otimes y \to ...
1
vote
1answer
36 views

If the category $J$ has an initial object $s$, prove that every functor $F: J \rightarrow C$ to any category $C$ has a limit, namely $F(s)$.

Exercise 3.4.3 in MacLane's Categories for the Working Mathematician. I am able to show that $F(s)$ is a cone, but unable to show that is universal among other cones with base $F$. How do I establish ...
3
votes
1answer
65 views

Showing that the direct product does not satisfy the universal property of the direct sum

I feel intuitively that for $\prod_{i\in N}\mathbb{Z}$, as a $\mathbb{Z}$−module, and $\phi_i:\mathbb{Z}\to\mathbb{Z}$ the identity map, more than one homomorphism $\phi:\prod_{i\in ...