Universalities (Q1330906): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q688985 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Václav Koubek / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: De Morgan algebras are universal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homomorphisms of Integral Domains of Characteristic Zero / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal Varieties Of (0, 1)-Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the endomorphism semigroup (and category) of bounded lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How comprehensive is the category of semigroups? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal Infinite Partially Ordered Sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3342764 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every category is a factorization of a concrete one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for bicategories and indexed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3208855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5546812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083877 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:16, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universalities |
scientific article |
Statements
Universalities (English)
0 references
10 August 1994
0 references
Let \({\mathcal V}\) be a cocomplete monoidal category such that \(A \otimes - \) and \(- \otimes A\) preserve colimits for any \({\mathcal V}\)-object \(A\). Then there exist a \({\mathcal V}\)-category \({\mathcal U}\) and a \({\mathcal V}\)-functor \(F : {\mathcal U} \to {\mathcal U}\) such that for every \({\mathcal V}\)-functor \(H : {\mathcal H}_ 1 \to {\mathcal H}_ 2\) between \({\mathcal V}\)-categories \({\mathcal H}_ 1\) and \({\mathcal H}_ 2\) there exist strict \({\mathcal V}\)-isomorphisms \(\varphi_ i : {\mathcal H}_ i \to {\mathcal U}\), \(i = 1,2\), with \(\varphi_ 2 \circ H = F \circ \varphi_ 1\). As a consequence we obtain that there exist a quotient category \({\mathcal U}\) of the category of all topological spaces and all open continuous mappings (or of the category of all metric spaces and all open uniformly continuous mappings, respectively) and a functor \(F : {\mathcal U} \to {\mathcal U}\) such that for every functor \(H : {\mathcal H}_ 1 \to {\mathcal H}_ 2\) between arbitrary categories there exist full embeddings \(\varphi_ i : {\mathcal H}_ i \to {\mathcal U}\), \(i=1,2\), with \(\varphi_ 2 \circ H = F \circ \varphi_ 1\).
0 references
universal category
0 references
\(V\)-category
0 references
monoidal category
0 references