The tag has no wiki summary.

learn more… | top users | synonyms

15
votes
1answer
220 views

Universal property of de Rham differential.

Suppose $A$ is a commutative algebra over a field $k$. It is well known that there is a module that generalizes the notion of differential $1$-forms. It is denoted $\Omega^1_{k}(A)$ and is called the ...
12
votes
2answers
159 views

Does the forgetful functor from $\mathbf{TopGrp}$ to $\mathbf{Top}$ admit a left adjoint?

Let TopGrp be the category of topological groups (not necessarily $T_0$) and Top the category of topological spaces. Does the forgetful functor $U:\mathbf{TopGrp}\to\mathbf{Top}$ admit a left ...
11
votes
2answers
158 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
8
votes
1answer
122 views

Are there any non-obvious colimits of finite abelian groups?

Does the forgetful functor $U : \mathsf{FinAb} \to \mathsf{Ab}$ from finite abelian groups to abelian groups preserve colimits? Morally this should be true, but it is not so easy (for me) to come up ...
8
votes
1answer
116 views

Universal properties of “interesting” families of graphs

Can cycles – and/or other "interesting" families of graphs like paths, trees, hypercubes, etc. – be characterized by a universal property in the category of graphs? I admit that there is ...
7
votes
1answer
88 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, ...
7
votes
2answers
163 views

How to get used to commutative diagrams? (the case of products).

I've returned to Aluffi's book (after getting the basics of groups from Herstein's) and I hit the same brick wall that made me put it aside. My general problem is this: I can't seem to get used to ...
6
votes
1answer
86 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 ...
6
votes
2answers
300 views

Why is category theory not just another theory? [closed]

Consider category theory as one theory among many others: with a simple signature and some simple axioms. Compare it with - e.g. - group theory as another theory with a simple signature and some ...
6
votes
1answer
54 views

How to construct a tensor product of two preadditive categories in pure categorical fashion?

Let $\mathsf C$ and $\mathsf D$ be two preadditive categories (by an preadditive category I mean a category together with compatible abelian group structure on every hom-set). I thought of ...
6
votes
1answer
74 views

Does every continuous map between compact metrizable spaces lift to the Cantor set?

I'm interested in the universal properties of the Cantor set. It is well-know that the Cantor set $2^\mathbb{N}$ is "universal" in the category of metrizable compact spaces, in the sense that every ...
6
votes
1answer
127 views

Help with diagram chasing

Given the diagram $\require{AMScd}$ \begin{CD} 0 @>>> A @>f>> B @>g>> C @>>> 0 \\ @. @V\alpha VV \#@V\beta V V\# @VV\gamma V @. \\ 0 @>>> {A'} ...
6
votes
1answer
304 views

Axioms vs. Universal Constructions/Properties

What (exactly) is the difference between defining a mathematical object by it's axioms and by a universal construction ? Please take my 3 opinions into consideration, as they also contain more ...
5
votes
2answers
114 views

Is there a logical interpretation for equalizer and co-equalizer?

I know the logical equivalent to several universal constructions. For example product $\times$ is $\land$ and co-product $+$ is $\lor$. The associated arrows are projection and inclusion. The ...
5
votes
1answer
125 views

Universal Property: do people study terminal objects in $(X\downarrow U)$?

Suppose that $U:D\to C$ is a functor and $X$ is an object of $C$. In defining Universal property, Wikipedia writes about terminal objects in $(U\downarrow X)$ and initial objects in the category ...
5
votes
0answers
109 views

Universal Property for Tangent Space

As far as I know there are basically three different approaches to the tangent space -all of them coming with advantages and disadvantages: Though the oldest one precisely represents the derivative ...
4
votes
2answers
201 views

Identify the universal property of kernels

I'm reading Mac Lane's "Categories for the Working Mathematician". I found the following sentence in page 59 of it: Similarly, the kernel of a homomorphism (in $\mathbf{Ab}$, $\mathbf{Grp}$, ...
4
votes
1answer
227 views

The Kahler differential is zero

While studying for my commutative algebra exam, I have come across this problem. Let $K$ be a field. Let $A$ be a $K-$algebra, finitely generated as a $K$-vector space. Prove that $\Omega^1_{A/K} ...
4
votes
0answers
71 views

Using the universal property of tensor product to show that $(\Bbb{Z}/4\Bbb{Z}) \otimes (\Bbb{Z}/6\Bbb{Z})\cong \Bbb{Z}/2\Bbb{Z}$ [duplicate]

In the algebra lecture i need to solve the following exercise Use the universal property of the tensor product to show that $$(\Bbb{Z}/4\Bbb{Z}) \otimes (\Bbb{Z}/6\Bbb{Z})\cong ...
3
votes
3answers
128 views

Can an object be universal with respect to several properties?

Does anyone know an example of an object $A$ in some category $\mathcal C$ such that $A$ satisfies at the same time more than one universal property? Of course, when I say that $A$ is universal with ...
3
votes
1answer
55 views

What's so special about the grounded poset of cardinality $2$?

By a grounded poset, I mean a poset $P$ with a bottom element $0_P$. Arrows between grounded posets are monotone mappings that preserve the basepoint. This gives a self-enriched category; lets call it ...
3
votes
1answer
66 views

About the Stone-Čech universal property

There's something I am missing here and I don't know what it is. I understand that the Stone-Čech compactification of $X$ satisfies the property that for every continuous map $f: X \rightarrow K$ ...
3
votes
1answer
41 views

Universal property of natural number semi-ring

I asked a question similar to the one I am about to ask, and I think I got a satisfactory answer. However, this time I have some more specific question. Let a semiring $(R,+,\times)$ be an algebraic ...
3
votes
0answers
56 views

A mathematical object that can be characterised by axioms as well as by universal constructions

This question (more specifically one of the comments) prompted me to ask this question: Can someone give me an example of a mathematical object that one can characterize both via axioms and universal ...
2
votes
3answers
62 views

Given a subset $S$, is there any universal construction (property) of $L(S)$, the linear span of $S$?

Given a subset $S$ of a vector space $V$, is there any universal construction (property) of $L(S)$, the linear span of $S$ (like the way we can construct the fraction field of an integral domain)?
2
votes
2answers
115 views

“Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions

Is there some precise sense in which the "alternation" functor $A$ that maps a multilinear function $f\colon M^d\to N$ to the alternating multilinear function $A(f)\colon M^d\to N$ defined by $$ ...
2
votes
1answer
127 views

$F$ entire with $\lim_{k \rightarrow \infty} F(z + N_{k}) = h(z)$ for every $h$ entire

Universal Entire Functions. Prove that there exists an entire function with the following "universal" property: Given any entire function $h$, there is an increasing sequence $\{ ...
2
votes
1answer
66 views

How to use universal constructions to create this category/object?

Given an a category $\mathcal{C}$ what is the most concise way to construct the smallest one object category $\mathcal{D}$ such that there exists a faithful functor from $\mathcal{C} \to \mathcal{D}$? ...
2
votes
1answer
57 views

Distinguishing characteristic and spurious properties

When working in set theory with definitions of somehow primitive notions like ordered pairs (Kuratowski) or ordinal numbers (von Neumann) one is supposed to use only the characteristic properties of ...
2
votes
2answers
203 views

Construction of Yoneda extension

In "Category Theory" by Steve Awodey, there is a suggestion for the reader to construct a left adjoint in the proof of the UMP of the Yoneda embedding. Namely, for any small category $\mathbb{C}$, the ...
2
votes
1answer
93 views

Two Definitions of Infinite Cartesian Product

In my one of lecture notes, there are two definitions of infinite Cartesian product, and it reads that we can construct a unique bijection between them. One way to define an infinite Cartesian ...
2
votes
1answer
207 views

Why does the fiber coproduct in $\mathbf{Set}$ actually satisfy the universal property?

Suppose you have two morphisms $f\colon A\to B$ and $g\colon A\to C$. Then the fiber coproduct of $B$ and $C$ over $A$ exists and is the disjoint union $B\coprod C$ where we identify $fx$ and $gx$ for ...
2
votes
1answer
63 views

Universal Property for isomorphic objects

Suppose $A,B$ are isomorphic objects of some category $C$. Suppose that A satisfies a given universal property does B satisfy the same? If not can you provide a counterexample for an elementary ...
2
votes
1answer
38 views

Viewing the universal property of rings of fractions as a universal arrow

For a multiplicatively closed subset $S$ of $A$, we have a functor $S^{-1}: A-Mod \rightarrow S^{-1}A-Mod$. I am trying to understand this functor a little bit better and I was thinking about the ...
2
votes
2answers
87 views

relationship between Exact sequences and Universal mapping property

I am stuck in the following question. Show that for any two short exact sequences. $0\overset{}{\rightarrow}K\overset{i}{\rightarrow}V\overset{T}{\rightarrow}U$ and ...
2
votes
2answers
167 views

Binary number theory

I want to know if there exists some book about "Binary number theory", I'm interesting in this because there many problems of ICPC about this topic. Thanks in advance
2
votes
0answers
95 views

What should this definition be?

This is from Advanced Linear Algebra by S.Roman. Definition (on page 356). Referring to the figure below, let A be a set and let $\mathcal S$ be a family of sets. Let $$ \mathcal F = \{g\colon ...
2
votes
0answers
30 views

Characterization of epic morphisms in the category of rings.

Let $C$ denotes the category of rings (with identities). It's easy to prove that for any $R\in \text{ob }C$, any multiplicative set $S\subset R$ and any ideal $I\leqslant R$, both $R\to S^{-1}R$ and ...
2
votes
0answers
78 views

Does zero-kernel imply monic in Abelian categories?

I'm trying to learn how to perform diagram-chasing in abstract Abelian categories. Instead of an approach with some elements one have to use universal properties somehow in the proof. But I reckon the ...
2
votes
0answers
56 views

Relative topological tensor product

I know that for a pair of topological rings $R$ and $R'$ (perhaps with some additional topological/functional-analytic hypothesis on them?) there exist two topological tensor produts, the injective ...
2
votes
0answers
43 views

Show that $H *_{G} (G/N) \cong H/N'$ where $f(N)=N' \subset H$.

I was doing some group theory and this exercise came up. Let $f: G \to H$ be a group morphism and $N$ a normal subgroup of $G$. Denote $\pi: G \to G/N$ and let $N'$ be the normal closure of $f(N)$. ...
2
votes
0answers
25 views

Disjoint Union Topology universal property as instance of final topology's universal property [duplicate]

I'm studying the final topology on a set $X$ induced by a family $\{f_\alpha:X_\alpha\rightarrow X\mid \alpha\in A\}$ and know of its universal property, namely that given a function $g:X\rightarrow ...
1
vote
2answers
267 views

Universal Property of Localization

Let $R$ be a commutative ring with $1\not =0$, and let $D\ni 1$ be a multiplicative subset of $R$. Consider the universal characterization of $D^{-1}R$: There is a morphism $\pi\colon R\to D^{-1}R$ ...
1
vote
2answers
56 views

Uses of Universal Properties

So in reading about category theory I'm starting to see this picture that it is just a higher level of abstraction where we consider similarities between mathematical structures by way of morphisms ...
1
vote
1answer
38 views

Find the unique lifting for $f:S^1 \to S^1$ given by $f(z)=z^2$, where $z=x+iy, x^2+y^2=1$

Let $f:S^1 \to S^1$ be given by $f(z)=z^2$, where $z=x+iy, x^2+y^2=1$. Then find the unique lift $\bar f: S^1 \to \mathbb{R}$ with the properties that (i) $\bar f(1)=0$ and (ii) $E \circ \bar f=f$, ...
1
vote
1answer
30 views

What does “universal w.r.t. this property” mean? (kernel of a morphism in an additive category)

In an additive category $\mathcal{A}$ a kernel of a morphism $f: B\to C$ is defined to be a map $i : A \to B$ such that $fi = 0$ and that is universal with respect to this property. This is ...
1
vote
1answer
27 views

Universal property question

I am not sure how I can draw a commutative diagram, so I will do my best to describe it verbally. So, suppose $f_1,f_2:G\to K$ be (group, field, ring)homomorphisms. I want to claim the following: ...
1
vote
1answer
47 views

Limit as universal arrow

I was interested in the definition of limit as universal arrow from $\Delta$ to $F$ given in Mac Lane's CWM book. Let us begin with some notation: Let $C$ be a category, and $J$ be an index ...
1
vote
3answers
40 views

Basic Question Regarding the Universal Property of the Tensor Product.

(All vector spaces are over a fixed field $F$). Universal Property of Tensor Product. Given two finite dimensional vector spaces $V$ and $W$, the tensor product of $V$ and $W$ is a vector space ...
1
vote
1answer
50 views

Dual notion of the subspace topology

Let $X$ and $Y$ be sets with $\iota:X\to Y$ an injection. If $Y$ is a topological space, we define the subspace topology on $X$ as the initial topology induced by this diagram. Analogously, if $X$ ...