scholarly journals The nominal/FM Yoneda Lemma

2020 ◽  
Vol 30 (9) ◽  
pp. 1011-1024
Author(s):  
R. L. Crole
Keyword(s):  
Finite Support ◽  
Natural Transformations ◽  
Equivariant Functions ◽  
Yoneda Lemma ◽  
Nominal Sets

AbstractThis paper explores versions of the Yoneda Lemma in settings founded upon FM sets. In particular, we explore the lemma for three base categories: the category of nominal sets and equivariant functions; the category of nominal sets and all finitely supported functions, introduced in this paper; and the category of FM sets and finitely supported functions. We make this exploration in ordinary, enriched and internal settings. We also show that the finite support of Yoneda natural transformations is a theorem for free.

Functors, Transformations, and Modifications

2021 ◽  
pp. 147-202
Author(s):  
Niles Johnson ◽  
Donald Yau
Keyword(s):  
Natural Transformations ◽  
Yoneda Lemma

This chapter discusses functors, transformations, and modifications that are bicategorical analogs of functors and natural transformations. The main concepts covered are lax functors, lax transformations, modifications, and icons. A section is devoted to representable pseudofunctors, representable transformations, and representable modifications, which will be used in the Bicategorical Yoneda Lemma.

Flat functors and classifying toposes

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
General Theory ◽  
Geometric Theory ◽  
Small Category ◽  
Independent Interest ◽  
Yoneda Lemma ◽  
Geometric Morphisms ◽  
The Way

This chapter develops a general theory of extensions of flat functors along geometric morphisms of toposes; the attention is focused in particular on geometric morphisms between presheaf toposes induced by embeddings of categories and on geometric morphisms to the classifying topos of a geometric theory induced by a small category of set-based models of the latter. A number of general results of independent interest are established on the way, including developments on colimits of internal diagrams in toposes and a way of representing flat functors by using a suitable internalized version of the Yoneda lemma. These general results will be instrumental for establishing in Chapter 6 the main theorem characterizing the class of geometric theories classified by a presheaf topos and for applying it.

Phase Type Distributions with Finite Support

2014 ◽  
Vol 30 (4) ◽  
pp. 576-597 ◽  
Author(s):  
V. Ramaswami ◽  
N. C. Viswanath
Keyword(s):  
Finite Support ◽  
Phase Type ◽  
Phase Type Distributions

Shelah's work on non-semi-proper iterations, II

2001 ◽  
Vol 66 (4) ◽  
pp. 1865-1883 ◽  
Author(s):  
Chaz Schlindwein
Keyword(s):  
Closed Subset ◽  
Stationary Subset ◽  
Finite Support ◽  
Countable Support ◽  
Final Model ◽  
Axiom A ◽  
Mahlo Cardinal ◽  
The One ◽  
Image Position ◽  
Special Case

One of the main goals in the theory of forcing iteration is to formulate preservation theorems for not collapsing ω1 which are as general as possible. This line leads from c.c.c. forcings using finite support iterations to Axiom A forcings and proper forcings using countable support iterations to semi-proper forcings using revised countable support iterations, and more recently, in work of Shelah, to yet more general classes of posets. In this paper we concentrate on a special case of the very general iteration theorem of Shelah from [5, chapter XV]. The class of posets handled by this theorem includes all semi-proper posets and also includes, among others, Namba forcing.In [5, chapter XV] Shelah shows that, roughly, revised countable support forcing iterations in which the constituent posets are either semi-proper or Namba forcing or P[W] (the forcing for collapsing a stationary co-stationary subset ofwith countable conditions) do not collapse ℵ1. The iteration must contain sufficiently many cardinal collapses, for example, Levy collapses. The most easily quotable combinatorial application is the consistency (relative to a Mahlo cardinal) of ZFC + CH fails + whenever A ∪ B = ω2 then one of A or B contains an uncountable sequentially closed subset. The iteration Shelah uses to construct this model is built using P[W] to “attack” potential counterexamples, Levy collapses to ensure that the cardinals collapsed by the various P[W]'s are sufficiently well separated, and Cohen forcings to ensure the failure of CH in the final model.In this paper we give details of the iteration theorem, but we do not address the combinatorial applications such as the one quoted above.These theorems from [5, chapter XV] are closely related to earlier work of Shelah [5, chapter XI], which dealt with iterated Namba and P[W] without allowing arbitrary semi-proper forcings to be included in the iteration. By allowing the inclusion of semi-proper forcings, [5, chapter XV] generalizes the conjunction of [5, Theorem XI.3.6] with [5, Conclusion XI.6.7].

scholarly journals Transitive action on finite points of a full shift and a finitary Ryan’s theorem

2017 ◽  
Vol 39 (06) ◽  
pp. 1637-1667 ◽  
Author(s):  
VILLE SALO
Keyword(s):  
Automorphism Group ◽  
Commutator Subgroup ◽  
Turing Machines ◽  
Finite Support ◽  
Transitive Action ◽  
Group Invariant ◽  
Finite Set ◽  
Transitivity Property ◽  
Full Shift ◽  
Subshifts Of Finite Type

We show that on the four-symbol full shift, there is a finitely generated subgroup of the automorphism group whose action is (set-theoretically) transitive of all orders on the points of finite support, up to the necessary caveats due to shift-commutation. As a corollary, we obtain that there is a finite set of automorphisms whose centralizer is $\mathbb{Z}$ (the shift group), giving a finitary version of Ryan’s theorem (on the four-symbol full shift), suggesting an automorphism group invariant for mixing subshifts of finite type (SFTs). We show that any such set of automorphisms must generate an infinite group, and also show that there is also a group with this transitivity property that is a subgroup of the commutator subgroup and whose elements can be written as compositions of involutions. We ask many related questions and prove some easy transitivity results for the group of reversible Turing machines, topological full groups and Thompson’s  $V$ .

scholarly journals Simultaneously vanishing higher derived limits

2021 ◽  
Vol 9 ◽  
Author(s):  
Jeffrey Bergfalk ◽  
Chris Lambie-Hanson
Keyword(s):  
Euclidean Space ◽  
Metric Spaces ◽  
Inverse System ◽  
Finite Support ◽  
Partial Functions ◽  
Weakly Compact ◽  
Compact Cardinal ◽  
Strong Homology ◽  
Finite Support Iteration ◽  
Weakly Compact Cardinal

Abstract In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system $\textbf {A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim ^n\textbf {A}$ (the nth derived limit of $\textbf {A}$ ) vanishes for every $n>0$ . Since that time, the question of whether it is consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for every $n>0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces. We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for all $n>0$ . We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to $\lim ^n\textbf {A}=0$ will hold for each $n>0$ . This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions $\mathbb {N}^2\to \mathbb {Z}$ which are indexed in turn by n-tuples of functions $f:\mathbb {N}\to \mathbb {N}$ . The triviality and coherence in question here generalise the classical and well-studied case of $n=1$ .

Cyclic operators with finite support

2012 ◽  
Vol 193 (1) ◽  
pp. 131-167 ◽  
Author(s):  
F. Bayart ◽  
G. Costakis
Keyword(s):  
Finite Support ◽  
Cyclic Operators

scholarly journals THE GRADED CENTER OF A TRIANGULATED CATEGORY

2016 ◽  
Vol 102 (1) ◽  
pp. 74-95
Author(s):  
JON F. CARLSON ◽  
PETER WEBB
Keyword(s):  
Group Algebra ◽  
Special Kind ◽  
Module Category ◽  
Triangulated Category ◽  
Triangulated Categories ◽  
Stable Module Category ◽  
Natural Transformations ◽  
Stable Module ◽  
Serre Functor

With applications in mind to the representations and cohomology of block algebras, we examine elements of the graded center of a triangulated category when the category has a Serre functor. These are natural transformations from the identity functor to powers of the shift functor that commute with the shift functor. We show that such natural transformations that have support in a single shift orbit of indecomposable objects are necessarily of a kind previously constructed by Linckelmann. Under further conditions, when the support is contained in only finitely many shift orbits, sums of transformations of this special kind account for all possibilities. Allowing infinitely many shift orbits in the support, we construct elements of the graded center of the stable module category of a tame group algebra of a kind that cannot occur with wild block algebras. We use functorial methods extensively in the proof, developing some of this theory in the context of triangulated categories.

Sign in / Sign up

Export Citation Format

Share Document