scholarly journals Cartesian differential categories revisited

2015 ◽  
Vol 27 (1) ◽  
pp. 70-91 ◽  
Author(s):  
G. S. H. CRUTTWELL

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over categories with finite products, so that every category with finite products has an associated cofree differential category. We also work out the corresponding results when the categories involved have restriction structure, and show that these categories are closed under splitting restriction idempotents.

1975 ◽  
Vol 19 (4) ◽  
pp. 345-352 ◽  
Author(s):  
Michael Holcombe

Let be a category with finite products and a final object and let X be any group object in . The set of -morphisms, (X, X) is, in a natural way, a near-ring which we call the endomorphism near-ring of X in Such nearrings have previously been studied in the case where is the category of pointed sets and mappings, (6). Generally speaking, if Γ is an additive group and S is a semigroup of endomorphisms of Γ then a near-ring can be generated naturally by taking all zero preserving mappings of Γ into itself which commute with S (see 1). This type of near-ring is again an endomorphism near-ring, only the category is the category of S-acts and S-morphisms (see (4) for definition of S-act, etc.).


Author(s):  
Wei Qian

Abstract We introduce and compute the generalized disconnection exponents$$\eta _\kappa (\beta )$$ η κ ( β ) which depend on $$\kappa \in (0,4]$$ κ ∈ ( 0 , 4 ] and another real parameter $$\beta $$ β , extending the Brownian disconnection exponents (corresponding to $$\kappa =8/3$$ κ = 8 / 3 ) computed by Lawler, Schramm and Werner (Acta Math 187(2):275–308, 2001; Acta Math 189(2):179–201, 2002) [conjectured by Duplantier and Kwon (Phys Rev Lett 61:2514–2517, 1988)]. For $$\kappa \in (8/3,4]$$ κ ∈ ( 8 / 3 , 4 ] , the generalized disconnection exponents have a physical interpretation in terms of planar Brownian loop-soups with intensity $$c\in (0,1]$$ c ∈ ( 0 , 1 ] , which allows us to obtain the first prediction of the dimension of multiple points on the cluster boundaries of these loop-soups. In particular, according to our prediction, the dimension of double points on the cluster boundaries is strictly positive for $$c\in (0,1)$$ c ∈ ( 0 , 1 ) and equal to zero for the critical intensity $$c=1$$ c = 1 , leading to an interesting open question of whether such points exist for the critical loop-soup. Our definition of the exponents is based on a certain general version of radial restriction measures that we construct and study. As an important tool, we introduce a new family of radial SLEs depending on $$\kappa $$ κ and two additional parameters $$\mu , \nu $$ μ , ν , that we call radial hypergeometric SLEs. This is a natural but substantial extension of the family of radial $$\hbox {SLE}_\kappa (\rho )s$$ SLE κ ( ρ ) s .


2012 ◽  
Vol 22 (3) ◽  
pp. 451-520 ◽  
Author(s):  
GIULIO MANZONETTO

The differential λ-calculus is a paradigmatic functional programming language endowed with a syntactical differentiation operator that allows the application of a program to an argument in a linear way. One of the main features of this language is that it is resource conscious and gives the programmer suitable primitives to handle explicitly the resources used by a program during its execution. The differential operator also allows us to write the full Taylor expansion of a program. Through this expansion, every program can be decomposed into an infinite sum (representing non-deterministic choice) of ‘simpler’ programs that are strictly linear.The aim of this paper is to develop an abstract ‘model theory’ for the untyped differential λ-calculus. In particular, we investigate what form a general categorical definition of a denotational model for this calculus should take. Starting from the work of Blute, Cockett and Seely on differential categories, we develop the notion of a Cartesian closed differential category and prove that linear reflexive objects living in such categories constitute sound and complete models of the untyped differential λ-calculus. We also give sufficient conditions for Cartesian closed differential categories to model the Taylor expansion. This requires that every model living in such categories equates all programs having the same full Taylor expansion.We then provide a concrete example of a Cartesian closed differential category modelling the Taylor expansion, namely the category MRel of sets and relations from finite multisets to sets. We prove that the extensional model of λ-calculus we have recently built in MRel is linear, and is thus also an extensional model of the untyped differential λ-calculus. In the same category, we build a non-extensional model and prove that it is, nevertheless, extensional on its differential part.Finally, we study the relationship between the differential λ-calculus and the resource calculus, which is a functional programming language combining the ideas behind the differential λ-calculus with those behind Boudol's λ-calculus with multiplicities. We define two translation maps between these two calculi and study the properties of these translations. In particular, this analysis shows that the two calculi share the same notion of a model, and thus that the resource calculus can be interpreted by translation into every linear reflexive object living in a Cartesian closed differential category.


1966 ◽  
Vol 24 ◽  
pp. 3-5
Author(s):  
W. W. Morgan

1. The definition of “normal” stars in spectral classification changes with time; at the time of the publication of theYerkes Spectral Atlasthe term “normal” was applied to stars whose spectra could be fitted smoothly into a two-dimensional array. Thus, at that time, weak-lined spectra (RR Lyrae and HD 140283) would have been considered peculiar. At the present time we would tend to classify such spectra as “normal”—in a more complicated classification scheme which would have a parameter varying with metallic-line intensity within a specific spectral subdivision.


1975 ◽  
Vol 26 ◽  
pp. 21-26

An ideal definition of a reference coordinate system should meet the following general requirements:1. It should be as conceptually simple as possible, so its philosophy is well understood by the users.2. It should imply as few physical assumptions as possible. Wherever they are necessary, such assumptions should be of a very general character and, in particular, they should not be dependent upon astronomical and geophysical detailed theories.3. It should suggest a materialization that is dynamically stable and is accessible to observations with the required accuracy.


1979 ◽  
Vol 46 ◽  
pp. 125-149 ◽  
Author(s):  
David A. Allen

No paper of this nature should begin without a definition of symbiotic stars. It was Paul Merrill who, borrowing on his botanical background, coined the termsymbioticto describe apparently single stellar systems which combine the TiO absorption of M giants (temperature regime ≲ 3500 K) with He II emission (temperature regime ≳ 100,000 K). He and Milton Humason had in 1932 first drawn attention to three such stars: AX Per, CI Cyg and RW Hya. At the conclusion of the Mount Wilson Ha emission survey nearly a dozen had been identified, and Z And had become their type star. The numbers slowly grew, as much because the definition widened to include lower-excitation specimens as because new examples of the original type were found. In 1970 Wackerling listed 30; this was the last compendium of symbiotic stars published.


Author(s):  
K. T. Tokuyasu

During the past investigations of immunoferritin localization of intracellular antigens in ultrathin frozen sections, we found that the degree of negative staining required to delineate u1trastructural details was often too dense for the recognition of ferritin particles. The quality of positive staining of ultrathin frozen sections, on the other hand, has generally been far inferior to that attainable in conventional plastic embedded sections, particularly in the definition of membranes. As we discussed before, a main cause of this difficulty seemed to be the vulnerability of frozen sections to the damaging effects of air-water surface tension at the time of drying of the sections.Indeed, we found that the quality of positive staining is greatly improved when positively stained frozen sections are protected against the effects of surface tension by embedding them in thin layers of mechanically stable materials at the time of drying (unpublished).


Author(s):  
W. A. Shannon ◽  
M. A. Matlib

Numerous studies have dealt with the cytochemical localization of cytochrome oxidase via cytochrome c. More recent studies have dealt with indicating initial foci of this reaction by altering incubation pH (1) or postosmication procedure (2,3). The following study is an attempt to locate such foci by altering membrane permeability. It is thought that such alterations within the limits of maintaining morphological integrity of the membranes will ease the entry of exogenous substrates resulting in a much quicker oxidation and subsequently a more precise definition of the oxidative reaction.The diaminobenzidine (DAB) method of Seligman et al. (4) was used. Minced pieces of rat liver were incubated for 1 hr following toluene treatment (5,6). Experimental variations consisted of incubating fixed or unfixed tissues treated with toluene and unfixed tissues treated with toluene and subsequently fixed.


Author(s):  
J. D. Hutchison

When the transmission electron microscope was commercially introduced a few years ago, it was heralded as one of the most significant aids to medical research of the century. It continues to occupy that niche; however, the scanning electron microscope is gaining rapidly in relative importance as it fills the gap between conventional optical microscopy and transmission electron microscopy.IBM Boulder is conducting three major programs in cooperation with the Colorado School of Medicine. These are the study of the mechanism of failure of the prosthetic heart valve, the study of the ultrastructure of lung tissue, and the definition of the function of the cilia of the ventricular ependyma of the brain.


Author(s):  
P. M. Lowrie ◽  
W. S. Tyler

The importance of examining stained 1 to 2μ plastic sections by light microscopy has long been recognized, both for increased definition of many histologic features and for selection of specimen samples to be used in ultrastructural studies. Selection of specimens with specific orien ation relative to anatomical structures becomes of critical importance in ultrastructural investigations of organs such as the lung. The uantity of blocks necessary to locate special areas of interest by random sampling is large, however, and the method is lacking in precision. Several methods have been described for selection of specific areas for electron microscopy using light microscopic evaluation of paraffin, epoxy-infiltrated, or epoxy-embedded large blocks from which thick sections were cut. Selected areas from these thick sections were subsequently removed and re-embedded or attached to blank precasted blocks and resectioned for transmission electron microscopy (TEM).


Sign in / Sign up

Export Citation Format

Share Document