scholarly journals Models of non-well-founded sets via an indexed final coalgebra theorem

2007 ◽  
Vol 72 (3) ◽  
pp. 767-791 ◽  
Author(s):  
Benno van den Berg ◽  
Federico de Marchi

AbstractThe paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation for the class of small maps.

1980 ◽  
Vol 9 (1) ◽  
pp. 99-103 ◽  
Author(s):  
Virginia Monroe ◽  
Lisa Ford
Keyword(s):  

1978 ◽  
Vol 112 (984) ◽  
pp. 415-427 ◽  
Author(s):  
Stevan J. Arnold
Keyword(s):  

2020 ◽  
Vol 2020 (1) ◽  
Author(s):  
Davood Afraz ◽  
Rahmatollah Lashkaripour ◽  
Mojtaba Bakherad

Robotica ◽  
2021 ◽  
pp. 1-13
Author(s):  
Sibyla Andreuchetti ◽  
Vinícius M. Oliveira ◽  
Toshio Fukuda

SUMMARY Many different control schemes have been proposed in the technical literature to control the special class of underactuated systems, the- so-called brachiation robots. However, most of these schemes are limited with regard to the method by which the robot executes the brachiation movement. Moreover, many of these control strategies do not take into account the energy of the system as a decision variable. To observe the behavior of the system’s, energy is very important for a better understanding of the robot dynamics while performing the motion. This paper discusses a variety of energy-based strategies to better understand how the system’s energy may influence the type of motion (under-swing or overhand) the robot should perform.


2021 ◽  
Vol 2021 (2) ◽  
Author(s):  
Thomas Bourton ◽  
Alessandro Pini ◽  
Elli Pomoni

Abstract Even though for generic $$ \mathcal{N} $$ N = 1 theories it is not possible to separate distinct branches of supersymmetric vacua, in this paper we study a special class of $$ \mathcal{N} $$ N = 1 SCFTs, these of Class $$ {\mathcal{S}}_k $$ S k for which it is possible to define Coulomb and Higgs branches precisely as for the $$ \mathcal{N} $$ N = 2 theories of Class $$ \mathcal{S} $$ S from which they descend. We study the BPS operators that parameterise these branches of vacua using the different limits of the superconformal index as well as the Coulomb and Higgs branch Hilbert Series. Finally, with the tools we have developed, we provide a check that six dimensional (1, 1) Little String theory can be deconstructed from a toroidal quiver in Class $$ {\mathcal{S}}_k $$ S k .


2020 ◽  
Vol 2020 (1) ◽  
Author(s):  
Sunil Kumar Sharma ◽  
Waseem A. Khan ◽  
Serkan Araci ◽  
Sameh S. Ahmed

Abstract Recently, Kim and Kim (Russ. J. Math. Phys. 27(2):227–235, 2020) have studied new type degenerate Bernoulli numbers and polynomials by making use of degenerate logarithm. Motivated by (Kim and Kim in Russ. J. Math. Phys. 27(2):227–235, 2020), we consider a special class of polynomials, which we call a new type of degenerate Daehee numbers and polynomials of the second kind. By using their generating function, we derive some new relations including the degenerate Stirling numbers of the first and second kinds. Moreover, we introduce a new type of higher-order degenerate Daehee polynomials of the second kind. We also derive some new identities and properties of this type of polynomials.


Sign in / Sign up

Export Citation Format

Share Document