The tag has no usage guidance, but it has a tag wiki.

learn more… | top users | synonyms

17
votes
1answer
261 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 ...
15
votes
2answers
217 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 adjoint?...
13
votes
2answers
225 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 ...
11
votes
2answers
439 views

Tensor product of monoids and arbitrary algebraic structures

Question. Do you know a specific example which demonstrates that the tensor product of monoids (as defined below) is not associative? Let $C$ be the category of algebraic structures of a fixed type,...
8
votes
2answers
146 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, ...
8
votes
1answer
174 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
122 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
2answers
180 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 ...
7
votes
2answers
320 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 ...
7
votes
1answer
183 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
2answers
304 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}$, $\...
6
votes
1answer
165 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 $F(\{...
6
votes
1answer
79 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
116 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
429 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
128 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
118 views

universal property in quotient topology

The following is a theorem in topology: Let $X$ be a topological space and $\sim$ an equivalence relation on $X$. Let $\pi: X\to X/\sim$ be the canonical projection. If $g : X → Z$ is a continuous ...
5
votes
1answer
330 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} =...
5
votes
1answer
167 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 $(X\...
5
votes
1answer
99 views

Universal property of quotient group

Let $H\le G$ be a normal subgroup of $G$. Then we can think a natural projection map $\pi:G \to G/H$. Then this map has the following universal property: Let $\phi:G \to G'$ be a homomorphism. If $H ...
5
votes
0answers
79 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 \Bbb{Z}/2\Bbb{Z}$...
5
votes
0answers
153 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
1answer
85 views

Universal property of topology of uniform convergence

What kind of universal property does the strong dual topology on $X'$ have, for $X$ being a locally convex space. Is it possible to define $X'$ as the projective limit of the normed spaces $\mathcal{L}...
4
votes
0answers
54 views

Monomorphisms of monoids are stable under coproducts

Let $M,N,K$ be three monoids (or even groups, if you like) and let $N \to K$ be an injective homomorphism. Then, the induced morphism $M \sqcup N \to M \sqcup K$ is also injective. This is easy to ...
3
votes
3answers
138 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
58 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
82 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
30 views

Associativity of extension of scalar (tensor product)

I am trying to prove the following basic property $$(M \otimes_A B) \otimes_B C \cong M \otimes_A (B \otimes_B C) \cong M \otimes_A C$$ where $M$ is $A$-module, $B$ is an $A$-algebra and $C$ is $B$-...
3
votes
0answers
79 views

Universal property of l^p-spaces

The category $\mathsf{Ban_1}$ of Banach spaces together with short linear maps (i.e. those of norm $\leq 1$) seems to have a natural construction which interpolates between coproduct and product: Let ...
3
votes
1answer
50 views

Notions of free (and/or cofree) Hopf algebras?

I don't know if this somewhat vague question has a precise answer, but I'd appreciate thoughts and references. Let $k$ be a field. I am looking at Hopf algebras over $k$ by which I mean an algebra ...
3
votes
1answer
89 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
60 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
73 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
1answer
38 views

Proving a set is open in a locally ringed space $(X,\mathscr O_X)$

Let $(X, \mathscr O_X)$ be a locally ringed space and let $A = \Gamma(X,\mathscr O_X)$ be the global sections. For $f\in A$, define the "distinguished open base" as: $$D(f) = \{x\in X : \pi_x(f) \not\...
2
votes
1answer
41 views

$L(\bigoplus_{i\in I} H_i)\cong \prod_{i\in I}L(H_i)$ as Banach spaces?

Let $\{H_i:i\in I\}$ be a system of complex Hilbert spaces, $L(\bigoplus_{i\in I} H_i)$ the set of bounded linear maps $T:\bigoplus_{i\in I} H_i\to \bigoplus_{i\in I} H_i$, equipped with the operator ...
2
votes
2answers
157 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 $$ A(f)...
2
votes
2answers
208 views

Continuity of sum/product using characteristic property of product topology

I'm self studying Lee's Introduction to Topological Manifolds, and I'm familiarising myself to the characteristic/universal property view of topology. One of the exercises in chapter 3 goes as ...
2
votes
1answer
233 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 $\{ N_{k}\}_{k=1}^{\...
2
votes
1answer
79 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
65 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
1answer
40 views

Can the choice of definition of morphisms for a slice category be justified categorically?

An example of a slice category $(\mathscr{C} \downarrow c)$ derived from some fixed object $c$ of some base category $\mathscr{C}$, would be one whose objects correspond to the $\mathscr{C}$-morphisms ...
2
votes
2answers
231 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
109 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
3answers
51 views

Would this proof be considered true.Proving a property of a operation

Ok so the operation [x] is defined to be equal to the integer such that it is $\leq x$ From this definition it holds that : $$ [x] \leq x $$ I need to prove that $$ [x+n] = [x] + n $$ My proof ...
2
votes
1answer
285 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
81 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
50 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
97 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 $0\overset{}{\rightarrow}K'\...
2
votes
0answers
62 views

Grothendieck's definition of a universal problem

In EGA I, Grothendieck writes (I'm paraphrasing): Let $\mathbf{K}$ be a category, $(A_{\alpha})_{\alpha \in I}, (A_{\alpha \beta})_{(\alpha,\beta) \in I \times I}$ two families of objects of $\...
2
votes
0answers
100 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 A\...