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
0answers
16 views

Exponential objects in a category of abstract automata.

I'm working with a more or less standard definition of the category Aut(C) of automata over a category C (where C has finite products) which has tuples $$ A=\langle I_{A},O_{A},S_{A},\sigma_{A}, ...
2
votes
1answer
29 views

Monoidal product is coproduct in category of commutative monoids

If $V$ is a symmetric monoidal category, the category $\text{CMon}(V)$ of commutative monoids in $V$ has binary coproducts given by $\otimes$, the monoidal product of $V$. See for example Johnstone’s ...
2
votes
0answers
31 views

Morphisms of adjunctions in 2-categories

Let $\mathcal{C}$ be a $2\!-$category and let $(F,G,\eta,\varepsilon)$, $(F',G',\eta',\varepsilon')$ be two paralell adjunctions $A-\!\!\!\rightharpoonup B$ in $\mathcal{C}$. Let $F\xrightarrow{\ ...
0
votes
0answers
33 views

ind-completion and ordinals

Given a category $C$, we have its ind-completion $Ind(C)$ whose objects are filtered diagrams in $C$. Assuming the axiom of choice, is any object in $Ind(C)$ isomorphic, in $Ind(C)$, to an ordinal ...
1
vote
0answers
29 views

Can one talk about equivalences classes in a class(which might not be a set). [duplicate]

equivalence relation on a set breaks it into disjoint sets. does 'disjointness' make sense in classes. specifically, given a category, isomorphism classes of objects makes sense or not. can it be so ...
2
votes
2answers
39 views

Is there a universal property in this proposition (which regards field extensions)?

Since learning a bit of category theory, I am trying, as an exercise, to state results that I come across in categorical language. I am trying to do this with the following: Let ...
1
vote
1answer
21 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
1answer
60 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 ...
2
votes
1answer
37 views

If direct limits of matrices are isomorphic, is the direct limit of the transpose matrices also isomorphic?

On the one hand, the following conjecture seems reasonable, but on the other hand it doesn't seem natural because some objects are being dualised while others are not. I would appreciate if anyone ...
0
votes
0answers
24 views

induced functor between weighted limits

I'm working on some special weighted limits in the category of categories. And I have to prove that the induced functor between two special weighted limits is faithful. But,before working in the ...
5
votes
1answer
37 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 ...
2
votes
2answers
73 views

Distinguishing sets according to more fine-grained notions than cardinality.

I'm interested in distinguishing sets according to more fine-grained notions than cardinality. Now I don't know a thing about computability theory, but it seems to me that considering sets up to ...
3
votes
0answers
44 views

Objects without extensions

How do you call an object $X$ for which every monomorphism $i : X \hookrightarrow Y$ has a retract (i.e.\ a morphism $r : Y \rightarrow X$ such that $r \cdot i = 1_X$)? I think of Y as an extension ...
3
votes
1answer
42 views

Help defining the $\mathrm{supp}$ function on free algebraic structures.

Given an algebraic structure $F(K)$ freely generated by a set $K$ with underlying set $U(F(K))$, I'm trying to define a "support" map $\mathrm{supp} : U(F(K)) \rightarrow \mathcal{P}_\mathrm{fin}(K).$ ...
4
votes
0answers
42 views

Adjunction between cocomplete categories

Let $C$ be a small category. Let $D,E$ be cocomplete categories. Let us denote by $\hom$ (resp. $\hom_c$) the category of (cocontinuous) functors. Then there is an equivalence of categories ...
1
vote
1answer
65 views

An example of when a product in a category may not exist.

My question is about the category of finitely generated Abelian groups; in particular, I want to show, by definition, that there exists a set of objects $T$ in this category for which there is no ...
7
votes
1answer
62 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
56 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
34 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 ...
1
vote
1answer
59 views

References for a notion of “restricted adjoint”

A construction that I've been finding all over the place in studying the category of NF (Quine's New Foundations) sets and functions is a situation like the following: there's a functor ...
3
votes
0answers
96 views

Category of metric spaces versus category of non-empty spaces

Denote by $\mathbf{Met}$ the category of metric spaces with metric maps as morphisms. A function $(X,d)\xrightarrow{\ f\ }(X',d')$ is called metric if for every pair of points $x,y\in X$ we have ...
2
votes
2answers
99 views

On the category of Sets as an example of an algebraic category

What follows comes from Algebraic Theories, pag. 7. Definition An algebraic theory is a small category $\mathcal{T}$ with finite products. An algebra for the theory $\mathcal{T}$ is a functor ...
4
votes
2answers
126 views

Different ways of constructing the free group over a set.

This could be too broad if we're not careful. I'm sorry if it ends up that way. Let's put together a list of different constructions of the free group $F_X$ over a given set $X$. It seems to be ...
2
votes
1answer
44 views

“Elements” of algebraic structures

Let $T$ denote an algebraic theory, and $e$ denote the $T$-algebra freely generated by a singleton set, and write $U$ for the forgetful functor. Now suppose we're given a $T$-algebra $A.$ We might say ...
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
2answers
47 views

Understanding morphisms in FinSet

I'm looking at the skeletal FinSet category ; there is one object for each natural number $n$ (including $n=0$), and a morphism from $m$ to $n$ is an $m$-tuple $(f_0, \ldots, f_{m-1})$ of numbers ...
1
vote
1answer
82 views

What is the left adjoint of the forgetful functor from fields to integral domains?

I quote from Wikipedia, regarding the construction of the field of fractions of an integral domain: "There is a categorical interpretation of this construction. Let $\mathcal{C}$ be the category ...
1
vote
1answer
44 views

Collection vs set in this textbook about category theory, and some related questions.

What is the meaning of collection in this context ? Is it here a synonym of set ? Can someone please explain what the author means by "A moment's though shows that, as sets of functions, these two ...
4
votes
2answers
160 views

Simplifying a categorical proof of constructive dilemma

In axiomatic propositional calculus the following axiom schema captures constructive dilemma: $\newcommand{\lif}{\supset} \renewcommand{\land}{\&}$ \begin{equation} (a \lif c) \lif ((b \lif c) ...
5
votes
2answers
156 views

Definition of forgetful functor [duplicate]

Is there an actual definition of "forgetful functor?" Wolfram MathWorld defines it in terms of functors from algebraic categories to the category of sets, but then says, "Other forgetful functors..." ...
2
votes
1answer
103 views

Can I define a category as a monoid with partially defined multiplication?

A groupoid can either be thought of as a category whose morphisms are isomorphisms, or as a generalization of a group whose multiplication is only partially defined. Can I do a similar thing with ...
0
votes
1answer
32 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
79 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 ...
0
votes
0answers
48 views

Polynomial Functor is ω-Continuous

Suppose $P:Set\rightarrow Set$ is given by $X \mapsto \sum_{i=0}^{n} C_{i}\times X^{i}$. I want to prove that $P$ is ω-continuous. Three questions: 1). Is my following argument correct? 2). Is there ...
4
votes
1answer
57 views

Defining algebras over noncommutative rings

A definition of "algebra" (that is, an associative algebra, in the sense of ring theory) generally requires a commutative base ring. But there are cases where it's reasonable to consider algebras ...
1
vote
1answer
80 views

Arrows-only implication & disjunction in $\mathbf{Set}.$

Just before the truth-arrows in a topos subsection of Goldblatt's "Topoi: A Categorial Analysis of logic," descriptions of the truth functions $\Rightarrow$ and $\smallsmile$ are given in ...
4
votes
0answers
39 views

Commutativity of direct and inverse limits

In exercise 5.34(iv) of Homological Algebra book by Rotman one is asked to prove that direct limits and inverse limits do not necessarily commute. I have two questions : 1.) Is it true that ...
2
votes
2answers
114 views

Categorial definition of free products?

If $X$ and $Y$ are objects of a concrete category $\mathcal{C}$, is there an accepted definition of "free product of $X$ and $Y$," generalizing the in the special case where $\mathcal{C}$ is the ...
5
votes
1answer
57 views

What is the coproduct in the category of Banach spaces and continuous linear maps?

In the category of Banach spaces, where the objects are Banach spaces and the morphisms are continuous linear maps, what are there coproducts? Are they the typical direct sum of Banach spaces? If so, ...
1
vote
1answer
35 views

Strange monomorphism of sheaves

What is an example of a Grothendieck topology $J$ on a small category $\mathcal{C}$ such that the category of sheaves $\mathsf{Sh}(\mathcal{C},J)$ has a monomorphism which is not a monomorphism of ...
2
votes
3answers
145 views

Why does Fld not have an initial object?

My Algebra book says that the category Fld of fields has no initial object. Why would $\{0,1\}$ not be an initial object? Does it not have a unique homomorphism to every other field?
1
vote
1answer
40 views

When does a functor commute with colimits?

Is it true that an additive functor between abelian categories commutes with colimits if it's right-exact and commutes with (arbitrary) direct sums? If yes, does someone know a good source of a ...
1
vote
1answer
77 views

The n-dual of a vector space

Studying linear algebra for my exam, I doubt arose. If I define the category $\mathcal{V}$ of all the vector spaces, and the functor $\mathcal{F}:\mathcal{V}\rightarrow \mathcal{V}$ given by ...
2
votes
0answers
58 views

Initial Algebras in a Category with ω-limits.

I am trying to prove the following: Let $C$ be a category with an initial object, and ω-limits. Suppose $F$ is an ω-continuous endofunctor on $C$. Then $F$ has an initial algebra. I know the result ...
1
vote
1answer
52 views

How are the cardinalities of the object images of adjoint functors related?

Here is a very silly question: Adjoint functors satisfy $$\mathrm{hom}_{\mathcal{C}}(FA,B) \cong \mathrm{hom}_{\mathcal{D}}(A,GB).$$ I consider numbers $a,b$ and read this as ...
2
votes
1answer
53 views

Proof that left adjoints preserve direct limits

I am reading Rotman's book on Homological algbra and have a slightly different proof of the statement in the title of this question. Am writing my attempt below. Could someone please advise me if I am ...
3
votes
1answer
63 views

Naturality in Yoneda's Lemma

Edited (Thanks to Kevin Carlson and Zhen Lin for pointing out the mistakes in my definitions.) Assuming $C$ is a locally small category, Yoneda lemma says that for any given object $e \in ...
10
votes
1answer
223 views

Are these parallel theorems from Set Theory and Linear Algebra connected through Category Theory?

From Set Theory and Linear Algebra, we have these two theorems: Given two finite sets of the same cardinality $X$ and $Y$ and a function $f:X\rightarrow Y$, the following are equivalent: $f$ is a ...
0
votes
1answer
93 views

Understand the $\operatorname{Hom}$ Functor.

Via Wikipedia I see that $\operatorname{Hom}_C(A,-): C \rightarrow \textbf{Set}$ a covariant functor which maps each object $X$ in $C$ to the set of morphisms $\operatorname{Hom}_C(A,X)$. I am trying ...
1
vote
1answer
32 views

Showing $f:a\to b$ is epic iff there exists some iso $g: f(a)\cong b$ with $g\circ f^*=f$.

This is Exercise 5.2.4 of Goldblatt's, "Topoi: A Categorial Analysis of Logic". In any topos, given $f:a\to b$, define $p, q: b\to r$ using the pullback of $f$ along itself like so ...