Mathematics – Category Theory
Scientific paper
2010-03-25
Mathematics
Category Theory
Version 1: 135 pages. Remarks for that version: (1) The comment at the beginning of Section 3-6 (that if (k,l) arrows Q and P
Scientific paper
Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to transfer this statement to diagrams of A. These diagrams are all indexed by posets in which every principal ideal is a join-semilattice and the set of all upper bounds of any finite subset is a finitely generated upper subset. Various consequences follow, in particular: (1) The Gr\"atzer-Schmidt Theorem, which states that every algebraic lattice is isomorphic to the congruence lattice of some algebra, can be extended to finite poset-indexed diagrams of algebraic lattices and compactness-preserving complete join-homomorphisms (and no finiteness restriction if there are large enough cardinals). (2) In a host of situations, the relative critical point between two locally finite quasivarieties is either less than aleph omega or equal to infinity. (3) A lattice of cardinality aleph 1 may not have any congruence-permutable, congruence-preserving extension.
Gillibert Pierre
Wehrung Friedrich
No associations
LandOfFree
From objects to diagrams for ranges of functors does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with From objects to diagrams for ranges of functors, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From objects to diagrams for ranges of functors will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-556183