Questions tagged [universal-property]

For questions about universal properties of various mathematical constructions.

Filter by
Sorted by
Tagged with
2 votes
1 answer
72 views

Formalizing the universal property of the tensor product

Introduction (a bit long) I am very new to category theory and algebra, in general. I recently saw the formalized concept of a universal morphism, here in WikipediA. I will repeat the definition with ...
user avatar
2 votes
0 answers
36 views

Universal property of the (Vistoli-)sheafification

Given a presheaf $F$, in Notes on Grothendieck topologies, fibered categories and descent theory there is a construction of the sheafification (Proof for theorem 2.64). The first part is the ...
user avatar
1 vote
0 answers
53 views

Missing universal properties

Given a category $\mathcal{C}$, we can use copresheaves $H \in [\mathcal{C},Set]$ or presehaves $H \in [\mathcal{C}^{\mathrm{op}},Set]$ to state left or right universal properties. Existence of a ...
user avatar
3 votes
2 answers
58 views

Functor demonstrating universal property of quotient spaces

The universal property of quotient spaces is, as quoted from wiki: The quotient space $X/\sim$ together with the quotient map $q:X\to X/\sim$ is characterized by the following universal property: if $...
user avatar
  • 6,067
1 vote
0 answers
74 views

Two Formulations of Universality

There are two common formulations of universal properties, which I will briefly state for clarity. Anyone familiar with the definitions of universal element and universal arrow could skip to the bold ...
user avatar
1 vote
1 answer
52 views

Short exact sequence of pointed spaces induces isomorphism of quotients

Let $X,Y,Z$ be pointed topological spaces. I will denote the point by $*$ and write $0=\{*\}$. Let $f:X\to Y$, $g:Y\to Z$ be continuous maps preserving the point. The sequence $X\xrightarrow{f} Y\...
user avatar
  • 49
1 vote
1 answer
44 views

Well-definedness of tensor product of modules

Given two $R$-modules $M$ and $N$, one possible construction of the tensor product $M\otimes_R N$ is by taking the quotient $F/U$ of the free module $F=\bigoplus_{m,n}R\cdot(m,n)$ and the submodule $U$...
user avatar
  • 2,316
0 votes
1 answer
34 views

Can fibrations be described via universal morphisms?

Jacobs defines Cartesian morphisms and fibrations in Definition 1.1.3 of this document. In other places in the text he uses phrases like "the universal property of this lifting." This made ...
user avatar
0 votes
0 answers
58 views

Does the universal set operate as the Von Neumann universe in non well founded set theories?

I've been researching non well founded set theories (E.g. NF, NFU, etc.) and have been wondering if there are any similarities between the universal set & Von Neumann universe ? Or if there the ...
user avatar
1 vote
0 answers
19 views

Universal Property of The Simplex Category Δop

I tried formulating the universal property of the simplex category. There seemed to be two different options to choose for the universal property of $\Delta^{op}$. I'm having trouble making ...
user avatar
0 votes
1 answer
37 views

Kan extensions as weighted limits

In this Blog David Jaz Myers says that right Kan extensions can be expressed using weighted limits. I would really appreciate any help understanding how this is so. I do not understand the sense in ...
user avatar
1 vote
0 answers
32 views

Why $\bar{f}(x + H_1) = f(x) + H_2$?

I am trying to solve part $(c)$ of the following problem: For $i = 1,2,$ let $G_i$ be a group and $H_i$ be a normal subgroup of $G_i.$ Let $\pi_i: G_i \to G_i/H_i$ be given by $\pi_i(a) = a H_i$ for ...
user avatar
  • 1,195
0 votes
0 answers
87 views

Prove: there exist a unique group homomorphism $\bar{f}: G_1/H_1 \to G_2/H_2$

I am trying to solve the following problem: For $i = 1,2,$ let $G_i$ be a group and $H_i$ be a normal subgroup of $G_i.$ Let $\pi_i: G_i \to G_i/H_i$ be given by $\pi_i(a) = a H_i$ for all $a \in G_i.$...
user avatar
  • 1,195
2 votes
1 answer
93 views

Why do we require uniqueness in the universal property for a fraction field?

I'm a university student taking a course in abstract algebra. My professor recently introduced fraction fields, giving this definition: Let $R$ be an integral domain. There exists a field $F$, called ...
user avatar
  • 53
0 votes
0 answers
56 views

Finite product and coproduct are the same in abelian categories

I am working with the following definition of abelian category. a) It has a $0$ object. b) Every morphism has a kernel and a cokernel. Every monomorphismis a kernel and every epimorphism is a ...
user avatar
0 votes
1 answer
40 views

Connecting Mac Lane's discussion of free categories from graphs to free algebraic systems

I want to understand how the following observation applies to free algebraic systems. In Thm. II.7.1 of Mac Lane's Categories for the Working Mathematician (p.49 of ed. 2), the functor $P:G \...
user avatar
  • 197
0 votes
1 answer
65 views

Prove that for all rings $R$ and all $r \in R$, there exists a unique ring homomorphism $\varphi: \Bbb Z[x] \to R$ such that $\varphi(x)=r$.

Denote by $\Bbb Z[x]$ the polynomial ring over $\Bbb Z$ in one variable. Prove that for all rings $R$ and all $r \in R$, there exists a unique ring homomorphism $\varphi: \Bbb Z[x] \to R$ such that $\...
user avatar
3 votes
0 answers
114 views

Proving the universal property of subspace topology

I'm asking for feedback on my current work. Preamble: It is known that if $(f_i)_{i\in I}$ a family of functions $f_i:X\to Y_i$, where $(Y_i, \mathcal{T}_i)$ is a topological space, then the topology $...
user avatar
3 votes
1 answer
47 views

Universal characterization of the arrow (interval, ordinal, 1-simplex) object? (Is $2$-category theory actually needed?)

In the "category of categories" $Cat$ (see e.g. here for a rigorous definition), there is a category $A$ with two objects and exactly one non-identity morphism. (Cf. "two-valued object&...
user avatar
1 vote
1 answer
115 views

Exercise $0.11$ from Leinster's Basic Category Theory

This is Exercise $0.11$ from Leinster's Basic Category Theory. Let $\theta:G \to H$ be a group homomorphism. Associated with $\theta$ is a diagram $$\ker(\theta) \stackrel{\iota}{\hookrightarrow} G \...
user avatar
  • 45
1 vote
0 answers
44 views

Confusions regarding proof of tensor products preserve right exactness

This is a follow-up to my previous question. Question: How are they able to replace $A \otimes M$, $B \otimes M$ and $C \otimes M$ by $A \times M$, $B \times M$ and $C \times M$ respectively in the ...
user avatar
  • 327
0 votes
1 answer
57 views

Confusion regarding proof of tensor products preserve cokernels

I found this proof here but I don't understand what they mean when they say that the existence of $C \to Q$ is implied by assumption? What assumption exactly? Can someone explain?
user avatar
  • 327
4 votes
3 answers
103 views

Constructing the topological product space from categorical universal property

Let $X,Y$ be topological spaces. I want to construct the categorical product, i.e. the product space, $X\times Y$ using the universal property of products. To be clear, I don't want to construct the ...
user avatar
  • 6,067
0 votes
2 answers
58 views

How does it follow that $P = Q$ in this universal property of coproducts of abelian groups?

How does it follow that $P = Q$ in this universal property of coproducts of abelian groups? I'm reading Martin Brandenburg's explanation of why: Given that $P$ is a coproduct of the abelian groups $...
user avatar
  • 327
4 votes
1 answer
74 views

Does the category of topological spaces with an action of a topological monoid admit coequalizers?

Let $\mathsf{Top}$ be the category of topological spaces with continuous maps and let $T$ be a monoid in $\mathsf{Top}$. Let $f,g: M \to N$ be two parallel maps in $\mathsf{Top}_T$, the category of ...
user avatar
0 votes
1 answer
63 views

Generators give quotients of free products of groups?

I have some confusion here. I have this idea that: If $\Gamma$ is generated by (all of) the elements of subgroups $G_1,\dots,G_k$, then $\Gamma=\langle G_1,\dots, G_k\rangle$ is a quotient of the ...
user avatar
  • 8,233
0 votes
3 answers
60 views

Showing that every continuous map between two topological spaces $X$ and $Y$ induces a continuous map between their cones $C(X)$ and $C(Y)$

I’d like to know how to show that every continuous map between two topological spaces $X$ and $Y$ induces a continuous map between their cones $C(X)$ and $C(Y)$. I was thinking it could be a good idea ...
user avatar
  • 77
6 votes
2 answers
167 views

Characterization of basis in terms of universal property: axiom of choice

I wonder if the proof of the following statement requires the axiom of choice: (Characterization of basis in terms of universal property) Let $V$ be a vector space, and let $S$ be a non-empty subset ...
user avatar
  • 329
5 votes
1 answer
116 views

Intuition on product definition in category theory

I just have a question on product of 2 objects in category theory. Given a category $\mathcal{C}$ we would like to define a product of 2 objects $A,B \in \mathcal{C}$. The definition says that $D \in \...
user avatar
  • 1,581
3 votes
2 answers
136 views

How to compute a free algebra for a given algebra over a set?

This is a question from a "demo exam" a few years ago at out university course. The question: How would you compute the free algebra for $\mathcal{A}$ over $X = \{x, y \}$, where $\mathcal{...
user avatar
3 votes
1 answer
130 views

Is Stone-Čech compactification the only one with universal property?

The Stone-Čech compactification (also called the Čech-Stone compactification) is the "biggest" compactification of a topological space. (I am working with Hausdorff compactifications only, ...
user avatar
1 vote
1 answer
86 views

Category theoretical proof that Abelianization commutes with products of group

Let $Grps$ and $Ab$ be the categories of groups and abelian groups respectively and lets denote $\times,\sqcup, \oplus$ the product and coproduct in Grps and the biproduct in $Ab$. If I want to prove ...
user avatar
  • 696
2 votes
2 answers
107 views

Help understanding a brief proof to show $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}]$

I was recently asked to prove that $\mathbb{Z}[X]/(X^2 - 3) \cong \mathbb{Z}[\sqrt{3}] := \{a + \sqrt{3}b\ | a,b \in \mathbb{Z}\}$. I couldn't do it in a limited amount of time, so I received a sketch ...
user avatar
  • 331
1 vote
2 answers
94 views

The universal property of product holds only for the product sigma-algebra

Suppose $\{X_\alpha \mid \alpha \in J\}$ is a family of measurable spaces. Let X denote the Cartesian product $\prod_{\alpha \in J} X_\alpha$ and consider the natural projections $\{\pi_\alpha: X \to ...
user avatar
  • 1,022
2 votes
1 answer
148 views

Is there a theorem that roughly says "all universal properties identify objects uniquely up to isomorphism"?

The question is in the title basically. I know that we can prove for certain specific universal properties (products, etc) that they uniquely determine the object up to isomorphism. The concept of &...
user avatar
  • 11.7k
0 votes
0 answers
25 views

Universal property of set intersection? [duplicate]

Is there a universal property of the intersection between two sets? In particular, can we define this intersection as the limit/colimit of some diagram? Presumably we'd have to assume some particular ...
user avatar
  • 11.7k
2 votes
1 answer
63 views

Can one give a category theory formulation of the following statement: "On a generic real vector space there is no canonical choice of a base"

My formulation would be: There are no functors from the category $\mathcal{V}$ of real vector spaces( where morphisms are linear maps) into the category $\mathcal{V}_b$ of real vector spaces with ...
user avatar
0 votes
2 answers
52 views

Homeomorphism of Coproduct

Consider the space $C$ and maps $f_A: A \to C$ and $f_B: B \to C$. Assume that there exists a unique continuous function $G: C \to T$ such that $g_A= G \circ f_A$ and $g_B= G \circ f_B$ for any space ...
user avatar
1 vote
1 answer
67 views

Trying to find the terminal object (and category) for this universal property

Consider an index set $I = \{1, 2, \ldots, n\}$. Let $V$ be a vector space and $v_I$ be a basis that is, $\{v_1, v_2, \ldots, v_n\}$. Let $\phi: I \rightarrow V$ be a map that maps the index set to a ...
user avatar
3 votes
3 answers
110 views

How to show that $\mathbb{K}\otimes_\mathbb{K}V\cong V$ using just the universal property of the tensor product.

Given vector spaces over a field $\mathbb{K}$, how can one show that $\mathbb{K}\otimes_\mathbb{K}V\cong V$ using just the universal property of the tensor product? Some background: This is an ...
user avatar
1 vote
0 answers
87 views

Formulating a universal property for an inclusion map

Let $B$ be a subset of the codomain of $f : X \to Y$ that contains $f(X)$. Formulate the universal property satisfied by the inclusion map $i : B \to Y$ that characterizes it up to isomorphism among ...
user avatar
4 votes
2 answers
99 views

Proving $\bigwedge^k(U\cap V) = \left(\bigwedge^kU\right) \bigcap \left(\bigwedge^k V\right)$ via the universal mapping property

Let $V$ be a (finite dimensional) vector space, its exterior algebra of order $k$ is the vector space $\bigwedge^k V$ consisting of the formal sums of terms of the form $v_1 \wedge v_2 \wedge \dots \...
user avatar
3 votes
2 answers
133 views

Using universal properties to show isomorphisms?

I started self-learning category theory where I encountered the universal property of tensor products. Then there are a few problems that I have no ideas on how to get started on: Question: Let $U,V,W$...
user avatar
0 votes
1 answer
162 views

Proof of the Universal Property of the Tensor Products

Suppose that $h:X\times Y\to \mathbb{F}$ is a bilinear map. Then prove that there exists a linear map $h_\otimes:X\otimes Y\to\mathbb{F}$ such that $h(x,y)=h_\otimes(x,y)$. Logically, to every ...
user avatar
  • 6,913
2 votes
2 answers
117 views

Show that $\mathbb{Z}/(m_1) \otimes_{\mathbb{Z}/(n)} \mathbb{Z}/(m_2) \cong \mathbb{Z}/(m_1,m_2)$

Let $m_1,m_2\in \mathbb{N}$ s.t. $m_1\mid n$ and $m_2\mid n$. By that, both $\mathbb{Z}/(m_1)$ and $\mathbb{Z}/(m_2)$ are $\mathbb{Z}/(n)$-Algebras. Show that $$\mathbb{Z}/(m_1) \otimes_{\mathbb{Z}/(n)...
user avatar
  • 2,168
1 vote
1 answer
75 views

The free object of the variety constructed by an m-generated subalgebra

A modal algebra is an algebra $\langle M,\vee,\wedge, ',0,1,^\circ\rangle$ such that $\langle M,\vee,\wedge, ',0,1,\rangle$ is a Boolean algebra and the operation $^\circ$ satisfies $(x\wedge y)^\circ=...
user avatar
0 votes
0 answers
81 views

Q: Does stictly increasing function always cross x and y axis?

I've been trying to figure out this problem: Let f: be strictly increasing function on it's Domain with range of all real numbers. Does it always intercept x and <...
user avatar
2 votes
1 answer
69 views

Universal Mapping Property of Free Categories

Let $G$ be a graph. We say that a category $\textbf{C}$ has a universal mapping property of free categories on $G$ if there exists a graph homomorphism $i:G\longrightarrow |\textbf{C}|$ such that ...
user avatar
  • 329
7 votes
1 answer
111 views

Equivalence of universal properties

In "Sheaves in Geometry and Logic" Mac Lane, Moerdijk (page 292: section VI, chapter 4), say: In a topos $\mathcal{E}$ (with terminal object $1$), take a family of objects $\{ F_{n} \}_{n \...
user avatar
3 votes
2 answers
107 views

About $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C}$ and $\mathbb{C} \otimes_{\mathbb{C}} \mathbb{C}$

We know $\mathbb{C} \otimes_{\mathbb{C}} \mathbb{C} = \mathbb{C}$ and $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} = \mathbb{C}^2$. This contradicts my current understanding. I've spent time looking up ...
user avatar
  • 349

1
2 3 4 5
9