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)

0
votes
0answers
12 views

Universality of the Simplex Category. Proving Functoriality of the Map.

Let $B$ be a strict monoidal category, and $\left \langle c,\mu ',\eta ' \right \rangle$ a monoid in $B$. Now suppose we consider the simplex category $\left \langle \triangle ,+,0 \right \rangle$, ...
0
votes
1answer
80 views

What is the mathematical difference between group and category?

This question is quite similar to the following link: Why learn Category Theory in order to study Group Theory? The above link is nice but I could not find the difference mathematically between ...
1
vote
0answers
21 views

Simplicial function space and homotopy colimits

I am currently reading the book by Bousfield and Kan, in particular Ch. XII, par. 2, and would like to understand why the functor $hocolim: Top_{+}^{I} \rightarrow Top_{+}$ is left adjoint to $hom(I ...
1
vote
1answer
25 views

The pushout of an epimorphism is an epimorphism

I'm reading the book "Handbook of Categorical Algebra: Volume 1, Basic Category Theory" by Francis Borceux, and in page 52 he states that "..."the pullback of a monomorphism is a monomorphism". ...
0
votes
1answer
46 views

Concept of distance/norm in Abelian category

I am trying to understand the concept of category and question is extension to the following link. Is the linear operators must be invertible to from a category? When we discuss linear space, norm ...
5
votes
1answer
61 views

Unifying Connection Between Topological Embeddings and Quotient Maps

In a book on topology I'm reading the following theorem seemed striking to me, not for its proof, which I believe I understand, but because there's some nice symmetry going on that I'd perhaps like ...
0
votes
0answers
42 views

Is the linear operators must be invertible to from a category?

I am trying to understand the concept of category in mathematics. For example the following link talks about category $Lin$ which is an Abelian category. ...
2
votes
2answers
94 views

Question about homomorphisms

I have a question that asks the following: Let $S,*$ and $T,.$ be binary structures and let the there be a homomorphism betweeen the two. If this is surjective, then if $S$ is a group, so is $T$. ...
1
vote
1answer
57 views

Exact functors preserve free modules?

Let $R$ be a principal ideal domain. Suppose that $F$ be an exact functor from the category of $R$-modules to itself. If $M$ is a free $R$-module, is $F(M)$ still a free $R$-module? I do not know how ...
1
vote
1answer
69 views

Homology functors defined on $\mathsf{Top} \times \mathsf{Top}$ in Eilenberg-Steenrod axioms?

The Eilenberg-Steenrod axioms state that a homology theory is a sequence of functors $H_n : \mathsf{Top} \times \mathsf{Top} \to \mathsf{Ab}$ satisfying some additional properties. What I don't ...
6
votes
4answers
265 views

An introduction to algebraic topology from the categorical point of view

I'm looking for a modern algebraic topology textbook from a categorical point of view. Basically, I'd like a textbook that uses the language of functors, natural transformations, adjunctions, etc. ...
2
votes
0answers
25 views

Relationship between differential cohesion and synthetic differential geometry

I was wondering what is the relationship between differential cohesion and synthetic differential geometry? I know the basics of synthetic differential geometry from Kock's text, but I am not ...
4
votes
1answer
59 views

Associative Law for a Monoid in a Monoidal Category.

Let $B$ be a monoidal category, and $c$ a monoid in $B$. Powers of $c$ are defined by taking $c^{n}$ to be the $\otimes $-string of length $n$ of $c$ in which the parentheses are all in front. We ...
0
votes
1answer
50 views

Generalize a result to any category.

Consider two categories $\mathscr{C}$ and $\mathscr{D}$ where $\mathscr{C}= Grp$ and $\mathscr{D}= \textbf{Set}$, then we are taking the forgetful and faithful functor $p$ (this is, we have a group ...
2
votes
1answer
34 views

Why is the the double dual functor on finite-dimensional vector spaces naturally isomorphic to the identity?

$\require{AMScd}$ Note: I have already seen this question, which asks about a specific aspect of the construction - here I am trying to construct this functor and failing at a very different stage. ...
0
votes
0answers
22 views

How to show the homotopy category is not abelian [duplicate]

Suppose $K^+(M)$ is the category, whose objects are bounded below complex of abelian groups, morphisms are chain maps modulo homotopy equivalence. How to show the category is not abelian? Exercise ...
2
votes
0answers
29 views

Representation of functions in the simplex category

I am using the following characterization of the simplex category $\Delta$: The objects are finite ordinals and the arrows are weakly monotone functions $f:n\rightarrow m$. $0$ is initial and $1$ is ...
0
votes
0answers
29 views

Pro-completion of finite algebras as Stone algebras

Recall that a profinite algebra (e.g. group, monoid, or whatsoever) is a cofiltered/inverse limit of finite algebra. In Johnstone's Stone space, he showed that finite discrete algebras are finitely ...
0
votes
1answer
58 views

Equivalence between category of $R$-modules and $S$-modules

Is it true that by equivalence between category of $R$-modules and $S$-modules we conclude that $R$ and $S$ are isomorphic?($R$ and $S$ are unital rings.)
2
votes
0answers
83 views

Yoneda Lemma for 2-categories - lax version

Is there a sort of lax Yoneda Lemma for 2-categories? Here is what I seem to have proven (although I have not checked all the details): If $\mathcal{C}$ is a (weak) 2-category, $A$ is an object of ...
11
votes
1answer
131 views

Is it possible to develop differential geometry without points?

I read about pointless topology and locale theory, and become curious about this topic. For example, there is the concept "differential manifold" corresponds to "topological manifold". As this, are ...
6
votes
0answers
40 views

Heyting algebras and infinite distributive law

I want to prove that "a complete lattice satisfies the infinite distributive law $a\wedge(\vee{S})=\vee\{a\wedge s|s\in S\}$ iff it is a Heyting algebra". I proved "if" part but can't "only if" part. ...
4
votes
1answer
58 views

Is $\coprod \subseteq \prod$ true in any (complete cocomplete) Abelian category?

Consider $A_i, \; i \in I$ a collection of objects in an Abelian category with arbitrary products and coproducts $\mathcal{C}$. Is there always a functorial monomorphism $\coprod_{i}A_i ...
2
votes
0answers
45 views

Why are morphisms of monads lax and not oplax natural transformations

Monads in a bicategory $\mathscr B$ correspond to lax functors $* → \mathscr B$, so one expects morphisms of monads should correspond to nautral transformations between them. A natural ...
3
votes
1answer
68 views

left adjointable functors

When a functor $F$ is left adjoint to some functor $G$, then one usually says that "$F$ is a left adjoint". Is this grammatically correct? Wouldn't it be more accurate to say that "$F$ is right ...
6
votes
1answer
81 views

What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?

For any topological space $X$, define a functor $\times X:\mathbf{Top}\to\mathbf{Top}$ by $Y\mapsto Y\times X$ (and acting on the hom-sets in the natural way). I know that if $X$ is locally compact, ...
4
votes
2answers
90 views

Is $\Bbb R$ the soberification of $\mathbb{Q}$?

I'm a beginner. I read about soberification of topological space and thought that if I soberificate $\mathbb{Q}$, for any $x \in \mathbb{R}$, the neighbourhood filter of $x$ in $\mathbb{Q}$ ...
6
votes
1answer
65 views

Proving that the free group on two generators is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$

I want to show that the free group on two elements $F(\{x,y\})$ is the coproduct $\mathbb{Z}*\mathbb{Z}$ in $\textbf{Grp}$. The idea is to use the universal property of free groups to prove that ...
0
votes
1answer
29 views

Is any reflector from a presheaf category $PSh(K)$ to a topos $C$ necessarily left exact?

Let $C$ be a topos, $K$ a small category and $$ PSh(K) \leftrightarrows C $$ a reflective subcategory with inclusion $i\colon C\hookrightarrow PSh(K)$ and reflector $T$. Is $T$ left exact? $D$ ...
2
votes
2answers
36 views

Construction of the “swap map” via universal property for products in $Set$

Lemma (Universal Property for Products) let $X,Y$ be sets and let $A$ be a set along with functions $f:A\rightarrow{X}$ and $g:A\rightarrow{Y}$ then there exists a unique function ...
0
votes
3answers
141 views

Endomorphic Function Definition

I need to confirm my thinking on endomorphic functions. Since an endomorphism is just a surjective morphism on an object to itself in a category, can I alter the usual definition of a surjective ...
0
votes
2answers
54 views

What is identity arrow in the category Set? [duplicate]

Given is category Set Given two objects from this category, $A$, and $B$, which are sets without any other structure, there is an arrow $f: A \to B$, from $A$ to $B$, which is any total function from ...
0
votes
1answer
48 views

Is the maximum cardinality of a hom-set $2$? ($\emptyset$ and $1$)

After reading this: A set of morphisms from object $a$ to object $b$ in a category $C$ is called a hom-set and is written as $C(a, b)$ (or, sometimes, Hom$C(a, b)$). So every hom-set in a ...
1
vote
0answers
43 views

Why is it an equivalent definition of a triangulated full subcategory?

We know that an additive full subcategory S of a triangulated category T is called a triangulated subcategory if it is closed under isomorphism, shift and if any two objects in a distinguished ...
3
votes
1answer
43 views

If the counits of an adjunction are epimorpihsms then the right adjoint reflects monomorphisms?

Given an adjunction $F \dashv G$, I need to show that if the counits $\varepsilon_Y: FG(Y) \rightarrow Y$ are epimorphisms then $G$ reflects monomorphisms. I am completely stuck on what properties of ...
9
votes
1answer
89 views

Epimorphisms of locally compact spaces

Let $LCH$ be the category of locally compact Hausdorff spaces with proper continuous maps. Question. What are the epimorphisms in $LCH$? I suspect them to be surjective, but I haven't been able to ...
2
votes
1answer
69 views

Proving that a category is cartesian closed

Let $Alg(1)$ be a category whose objects are sets with a unary operation, with no axioms. Morphisms of the category are functions of sets which preserve the operation. I need to show that this ...
2
votes
2answers
60 views

Right adjoint of covariant hom functor

I've constructed the left adjoint of the functor $\mathbf{Hom(A, -)}: \mathbf{Sets} \to \mathbf{Sets}$. Now I'm trying to prove that the functor does not have a right adjoint, but I'm not sure how to ...
0
votes
0answers
45 views

Evaluating composition of functors

Let $R$ be a ring and $S$ its $n \times n$ matrix ring. We consider the categories $_R Q$ and $_S Q$ of their respective left modules. We define a functor $F \colon _R M \to _S M$ by $$ F(M) = M^n $$ ...
1
vote
1answer
40 views

What does the category of $G$-set look like when $G = C_p$?

Let $G$ be a finite group. The category of $G$-set consists of finite $G$-sets as objects and $G$-equivariant maps as morphisms. Each finite $G$-set is isomorphic to a disjoint union of $G/H$'s, where ...
0
votes
2answers
60 views

What is the inverse limit?

In his book of Differential Topology, Hirsch starts a little detour in his theory in order to present a way to see things in a general perspective. The precise fragment I'm referring to is the ...
0
votes
0answers
34 views

In a closed monoidal category, is $[-,-]$ always a bifunctor?

We say a monoidal category $\mathcal V=(\mathcal V_0,\otimes,I,a,l,r)$ is closed if the endofunctor $-⊗Y$ has a right adjoint $[Y,-]$, called the exponential, for every $Y$. The object $[Y,Z]$ for ...
2
votes
0answers
32 views

Proof of theorems in the field of banach-and $c^*$-algebras in a categorial language

At the moment I'm studying the basics in the theory of banach- and $c^*$-algebras. There are many results in the theory of $c^*$-algebra which you first prove in the unital case and then in the ...
5
votes
1answer
68 views

How general $ [X,[Y,Z]] \cong [X \times Y, Z] $ is?

In some algebraic categories (abelian groups, modules on a ring) and in pointed spaces categories the following holds: $$ [X,[Y,Z]] \cong [X \times Y, Z] $$ In wich generality this lemma holds?
2
votes
1answer
31 views

If a composition of two maps is smooth, as well as one of the maps, then so is the other.

Let $M$, $N$, and $K$ be smooth manifolds, and consider the maps $g:M\to N$, and $f:N\to L$. Assume that the composition $f\circ g$ is smooth. If any of $f$ and $g$ is smooth can we conclude that the ...
8
votes
0answers
123 views

Whether a functor is exact?

I am stuck with exercise $1$ of section $3$ of chapter $1$ in the book Cohomology of number fields by Neukirch. The exercise is to show that the functor from $A \rightarrow C^n(G,A)$ is exact, where ...
3
votes
1answer
56 views

Is there a name of the dual of quotient?

If $\mathcal{C}$ is an abelian category, we can consider the quotient $B/A$ when $A$ is a subobject of $B$ (i.e. there is a mono from $A$ to $B$.) It satisfies following universal property: For ...
3
votes
2answers
111 views

Naturality in linear algebra

Question. How can we formalize these intuitions about predicates on matrices? Let $P$ denote a predicate on matrices, so that $P(A)$ is true for some choices of matrix $A$ and false for all ...
3
votes
1answer
79 views

The homotopy category of complexes

I have some trouble in proving Exercise A3.51 of Eisenbud's book "Commutative Algebra with a view toward Algebraic Geometry", pag. 688. The solution is sketched at pag. 754 at the end of the book. The ...
6
votes
1answer
75 views

What are the best topics to learn for a first (and second) course in Category Theory?

I am a mathematics student in my last year of undergraduate studies and I'm taking a first Course in Category Theory. The professor that is giving the course is not a category theorist and because of ...