# Tagged Questions

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 ...

115 views

### map of hom-sets as morphism

I am an undergraduate math student, and while studying cartesian closed categories i encountered a problem i could not solve: Suppose we have a (locally small) cartesian closed category $C$, and let ...
57 views

### If $D$ is a triangulated category, and $E_i$ is a set of generators, then $D$ is equivalent to $D(End(\oplus E_i))$?

I am looking for a result along the lines of the following statement: If $D$ is a triangulated category, and $E_i$ is a set of generators (every object can be obtained up to isomorphism by shifts and ...
113 views

### Visualizing co-Yoneda lemma

I am studying the Yoneda and co-Yoneda lemmas, and in order to understand them well I am trying to develop particular cases. This one is getting me in trouble (it must be easy, but I cannot get it): ...
50 views

### Localization and the universal property

I've been trying to get to grips with the universal property and was looking at the localization of a commutative ring $A$ at some multiplicative set $S$, denoted $S^{-1}A$, to get an idea of what the ...
29 views

### Abelian subcategory which is not a Serre subcategory

Is there an example of an abelian subcategory $\mathcal{B}$ of an abelian category $\mathcal{A}$ such that : The inclusion functor $\mathcal{B}\to \mathcal{A}$ is exact. $\mathcal{B}$ is not closed ...
32 views

### Smallness and Yoneda extension of categories

I have read in Sheaves in Geometry and Logic by Maclane the following theorem: Given a small category and a functor $F: \mathcal{C} \to \mathcal{A}$ with $\mathcal{A}$ cocomplete we can construct ...
368 views

59 views

787 views

### Is TOP a small category?

A quick question... is the category of topological spaces and continuous maps a small category? If so how do we know and if not how do we know not?
36 views

77 views

### What is a composition in category theory?

I'm just beginning to learn category theory. So far, the basic examples (like Set) are making sense. But I'm having a little trouble getting my head around the fundamentals. Suppose I try to define a ...
58 views

### When the empty family of arrows to an object is epimorphic, that object must be initial?

Is it true that when the empty family of arrows to an object $E$ in some category is epimorphic, that object $E$ must be the initial object $0$? This is a claim on page 433 (eq. 22) of Mac Lane and ...
40 views

### Projective Module equivalence [closed]

I'm trying to prove that given an $A-module$: $P$ The functor $Hom(P,-)$ is exact $\implies$ $\exists Q (A-module): P\oplus Q$ is free Can anyone guide me with some hints? It's the first time I'...
162 views

### Can we somehow use the functor $\mathbf{Set}(\mathbb{N},-)$ to define $\mathbb{N}$?

Hom functors can be used define coproducts in terms of products. In particular: $$\mathbf{Set}(A \sqcup B,X) \cong \mathbf{Set}(A,X) \times \mathbf{Set}(B,X)$$ To oversimplify a little: "a function ...
37 views

### Characterization of split mono- and split epimorphisms of algebras

Given a concrete category $(\mathcal{A}, U : \mathcal{A} \to \mathsf{Set})$ of universal algebras, obviously if a morphism $f$ in $\mathcal{A}$ is split mono / split epi, then so is $U(f)$. What is ...
36 views

### Pullback of a function along identity?

If $f:A\rightarrow B$ is a function, then $A\times _BB= \left\{ (a,b)\mid f(a)=b\right\}$. Isn't this the preimage of the image of $f$? I.e is $A\times_BB\cong f^\ast f_\ast(A)$? If working with ...
81 views

### In an algebraic category a morphism is a regular epi iff it is surjective

According to the nLab (see the 4th point under "Examples") in an "algebraic category" a morphism is a regular epi if and only, if it is surjective. Here a morphism $e$ is said to be surjective, if its ...
64 views

### Examples for the fact that a pullback of an epimorphism is not necessarily an epimorphism.

I'm reading in Borceux' book Basic Category Theory about pullbacks. It turns out that the pullback of an epimorphism is not necessarily an epimorphism. On the linked page, Borceux gives a ...
33 views

### Enough projectives and $F$ preserves limits implies $G$ preserves epi's.

Exercise: Let $\mathcal{C}, \mathcal{D}$ be categories, $G : \mathcal{C} \to \mathcal{D}$ and $F : \mathcal{D} \to \mathcal{C}$ an adjunction $F \dashv G$. Suppose $\mathcal{D}$ has enough projectives ...
113 views

### Strange question about free abelian group

I was given the following question for homework, but it makes no sense to me. Let $F$ be a free abelian group over a set $S$ with respect to the function $\varphi \colon S \to F$. Identify the set ...
55 views

58 views

### Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products?

Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products? I know it preserves products, but it seems to actually create them.
47 views

### How to recover a $K$-algebra from endomorphism algebra of forgetful functor?

I'm trying to work out how a finite-dimensional $K$-algebra $B$ can be recovered from the algebra of endomorphisms of the forgetful functor $\omega$ from the category of finitely generated left $B$-...
41 views

32 views

### Functor is of the form Set(-,A)

Let $F: Set^{op} \rightarrow Set$ be a functor such that for corresponding functor $\overline{F}: Set \rightarrow Set^{op}$ we have $\overline{F} \dashv F$. With corresponding functor I mean that $F$ ...
79 views

Let $F$ be a monad on some category $\mathsf{C}$ and $G$ be a comonad on the same category. Assume further that they "commute" (see below): $FG \cong GF$. Then, for lack of a better name, one can ...