Concrete full embeddings into categories of algebras and coalgebras (Q1321040): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q186099 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
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 / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(94)90022-1 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1966970061 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epimorphisms and Dominions. IV / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epimorphisms and Dominions, III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic functor slices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3979114 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5599864 / rank | |||
Normal rank |
Latest revision as of 15:27, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concrete full embeddings into categories of algebras and coalgebras |
scientific article |
Statements
Concrete full embeddings into categories of algebras and coalgebras (English)
0 references
22 August 1994
0 references
A full embedding \({F}\) from a concrete category \({\mathfrak K}\) into a concrete category \({\mathfrak L}\) is called a realization if \({F}\) preserves underlying sets and mappings. For set functors \({F}\), \({G}\) define a category \({\mathfrak A}(F,G)\) whose objects are pairs \((X\), \(\varphi\colon FX\to GX)\) and morphisms from \((X\), \(\varphi\colon FX\to GX)\) to \((Y\), \(\psi\colon FY\to GY)\) are all mappings \(f\colon X\to Y\) with \(Gf\circ \varphi= \psi\circ Ff\). A concrete category \({\mathfrak K}\) has a realization in \({\mathfrak A}(F,G)\) for some set functors \({F}\) and \({G}\) if and only if \({\mathfrak K}\) is strongly small fibred and satisfies the zig-zag condition.
0 references
generalized algebraic category
0 references
full embedding
0 references
concrete category
0 references
set functors
0 references
realization
0 references
zig-zag condition
0 references