2
votes
0answers
46 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 ...
11
votes
2answers
138 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 ...
5
votes
2answers
94 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 ...
0
votes
1answer
55 views

Tensor Algebra = Universal Property of FORGETFUL FUNCTOR?

Hi there in wiki the tensor algebra is defined w.r.t. the adjoint of the forgetful functor rather than the forgetful functor itself - why so? Besides, does the existence of such algebras for every ...
0
votes
1answer
44 views

Existence of Initial Object implies Existence of Terminal Object? [closed]

Consider an initial object always exists in a category. Reversing all arrows now. Does this guarantee the existence of terminal objects in that category?
0
votes
1answer
48 views

Characteristic Property = Universal Property?

Problem They seem to be the same -almost! But are they really or is it just unlucky accident that they look so similar however describe totally different notions? Example I was trying to set the ...
0
votes
0answers
19 views

Subset/subgroups/etc as Equalizers using Pushouts

I am trying to show that in a given category $\mathcal{C}$ which has pushouts, we can show that any morphism $f:X\rightarrow Y$ is an equalizer of some pair of morphisms. My solution to this is by ...
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 ...
10
votes
2answers
139 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 ...
2
votes
1answer
58 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
108 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 ...
3
votes
3answers
110 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 ...
7
votes
1answer
106 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 ...
6
votes
2answers
292 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 ...