Search results for "Category theory"

Fibred Categories and the Six Functors Formalism

2019

In Section 1, we introduce the basic language used in this book, the so-called premotivic categories and their functoriality. This is an extension of the classical notion of fibered categories. They appear with different categorical structures. In Section2, the language of premotivic categories is specialized to that of triangulated categories and to algebraic geometry. We introduce several axioms of such categories which ultimately will lead to the full six functors formalism. An emphasis is given on the study of the main axioms, with a special care about the so-called localization axiom. Then in Section 3, the general theory of descent is formulated in the language of premotivic model cat…

Lawvere–Tierney sheaves in Algebraic Set Theory

2009

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

Sequential formula translation

1983

The syntax of an algorithmic language such as ALGOL is conveniently described as a sequence of states indicated by an element called cellar. Transitions are controlled by admissible state- s ymbol pairs which may be represented by a transition matrix. This description of syntax furnishes at the same time an extremely simple rule for translating into machine programs statements in the algorithmic language. Sequential treatment, however, is not feasible in the case of certain optimizing processes such as recursive address calculation.

Sedative Effect and Standardization Parameters of Herbal Medicinal Product Obtained from the Ocimum americanum L. Herb

2021

Abstract Sedative phytomedications continue to play an important role in the management of a considerable amount of anxiety symptoms because of the various side effects of synthetic sedatives and tranquilizers. However, developing new herbal drugs needs their appropriate quality control according to the relevant requirements. The aim of the study was to determine the sedative properties of the tinctures obtained from the American basil (Ocimum americanum L., Lamiaceae Martinov family) herb and to develop the standardization parameters for the promising herbal medicinal product. The open field test was used to evaluate the sedative effect of the prepared tinctures: (1) with the added of O. a…

On the Structure of Amorphous Metals

2005

Singular integrals on regular curves in the Heisenberg group

2019

Let $\mathbb{H}$ be the first Heisenberg group, and let $k \in C^{\infty}(\mathbb{H} \, \setminus \, \{0\})$ be a kernel which is either odd or horizontally odd, and satisfies $$|\nabla_{\mathbb{H}}^{n}k(p)| \leq C_{n}\|p\|^{-1 - n}, \qquad p \in \mathbb{H} \, \setminus \, \{0\}, \, n \geq 0.$$ The simplest examples include certain Riesz-type kernels first considered by Chousionis and Mattila, and the horizontally odd kernel $k(p) = \nabla_{\mathbb{H}} \log \|p\|$. We prove that convolution with $k$, as above, yields an $L^{2}$-bounded operator on regular curves in $\mathbb{H}$. This extends a theorem of G. David to the Heisenberg group. As a corollary of our main result, we infer that all …

Existence of doubling measures via generalised nested cubes

2012

Working on doubling metric spaces, we construct generalised dyadic cubes adapting ultrametric structure. If the space is complete, then the existence of such cubes and the mass distribution principle lead into a simple proof for the existence of doubling measures. As an application, we show that for each $\epsilon>0$ there is a doubling measure having full measure on a set of packing dimension at most $\epsilon$.

A Hardware and Secure Pseudorandom Generator for Constrained Devices

2018

Hardware security for an Internet of Things or cyber physical system drives the need for ubiquitous cryptography to different sensing infrastructures in these fields. In particular, generating strong cryptographic keys on such resource-constrained device depends on a lightweight and cryptographically secure random number generator. In this research work, we have introduced a new hardware chaos-based pseudorandom number generator, which is mainly based on the deletion of an Hamilton cycle within the $N$ -cube (or on the vectorial negation), plus one single permutation. We have rigorously proven the chaotic behavior and cryptographically secure property of the whole proposal: the mid-term eff…

Comparative Study of the a Posteriori Error Estimators for the Stokes Problem

2007

The research presented is focused on a comparative study of a posteriori error estimation methods to various approximations of the Stokes problem. Mainly, we are interested in the performance of functional type a posterior error estimates and their comparison with other methods. We show that functional type a posteriori error estimators are applicable to various types of approximations (including non-Galerkin ones) and robust with respect to the mesh structure, type of the finite element and computational procedure used. This allows the construction of effective mesh adaptation procedures in all cases considered. Numerical tests justify the approach suggested.

BIM Modelling of Ancient Buildings

2018

In the last years, new procedures on design and management of constructions, based on 3D standardised models of building elements, have been proposed. It’s the case of Building Information Modelling (BIM) applications, that, differently from CAD ones, allow to work with libraries of 3D parametrical objects (smart objects) describing geometric, structural and material properties of building elements. This methodology is based on the Industry Foundation Classes (IFC) model, that represents a global standard for the building data exchange. Initially used for the design of new architectures, BIM methodology has been even more considered also for the management and the conservation of historical…