Library

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Unexpected properties of locally presentable categories (1990)
    Springer
    Algebra universalis 27 (1990), S. 153-170 
    Details
    ISSN: 1420-8911
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract Locally presentable categories are precisely those complete categories which have a small dense subcategory. Every subcategory of a locally presentable category (i) has a small dense subcategory, (ii) if it is closed under limits, then it is locally presentable and (iii) if it is closed under colimits, then it is coreflective. For density, canonical colimits can be substituted by arbitrary colimits. The above results hold under the assumption of the set-theoretical Vopenka's Principle; in fact, each of them is logically equivalent to that principle.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01182450
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Banach's Fixed-Point Theorem as a base for data-type equations (1994)
    Springer
    Applied categorical structures 2 (1994), S. 77-90 
    Details
    ISSN: 1572-9095
    Keywords: 68Q65 ; 18D20 ; Data type equation ; complete metric space ; Banach's theorem ; categories enriched over metric spaces
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics
    Notes: Abstract For a categoryK of data types, solutions of recursive data-type equationsX ℞T(X), whereT is an endofunctor ofK, can be constructed by iteratingT on the unique arrowT1 → 1. This is well-known forK enriched over complete posets and forT locally continuous (an application of the Kleene Fixed-Point Theorem). We prove this forK enriched over complete metric spaces and forT contracting (an application of the Banach Fixed-Point Theorem). Moreover, we prove that each such recursive equation has a unique solution. Our results generalize the approach of P. America and J. Rutten.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00878504
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Grain boundary migration in Σ=5 bicrystals of an Fe-3%Si alloy (1994)
    Springer
    Interface science 1 (1994), S. 187-199 
    Details
    ISSN: 1573-2746
    Keywords: Anisotropy ; bicrystals ; grain boundaries ; migration
    Source: Springer Online Journal Archives 1860-2000
    Topics: Chemistry and Pharmacology , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics , Physics
    Notes: Abstract Migration of differently oriented grain boundaries was studied in the Σ=5, 36.9°[100] tilt bicrystals of an Fe-3mass%Si alloy by the modified reversed-capillary technique. The principles of this method are outlined and discussed in connection with the application of multiple annealing of a single sample. It is shown that the errors introduced by both heating and cooling periods and by possible existence of an incubation period do not exceed the scatter of experimental data. A linear dependence between grain boundary migration velocity and driving force was found in most cases. The measured values of the product of grain boundary mobility and energy for individual grain boundaries differ substantially. The values of activation energy of migration of 332 kJ/mol, 392 kJ/mol, and 97 kJ/mol were found for the, {01}, {02} and (001)/(0 $$\bar 3$$ 4) grain boundaries, respectively.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00198145
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Grain boundary segregation in [100] symmetrical tilt bicrystals of an Fe—Si alloy (1992)
    Chichester [u.a.] : Wiley-Blackwell
    Surface and Interface Analysis 19 (1992), S. 601-606 
    Details
    ISSN: 0142-2421
    Keywords: Chemistry ; Polymer and Materials Science
    Source: Wiley InterScience Backfile Collection 1832-2000
    Topics: Physics
    Notes: The orientation and temperature dependences of the segregation of P, Si and C at [100] symmetrical tilt grain boundaries of an Fe-3.5 at.% Si alloy were determined by AES analysis of in situ fractured bicrystals. The obtained anisotropy of the segregation enthalpy of all three elements is characterized by its low absolute values for the {013} and {012} boundaries. Both of these boundaries belong to the low classification levels after Paidar and possess high values of interplanar spacing which can be used as a simple geometric criterion of the boundary ‘specialty’. The data are consistent with the construction of the grain boundary segregation diagram showing the dependence of the segregation enthalpy on both the boundary orientation and the maximum solid solubility of the solute.
    Additional Material: 6 Ill.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1002/sia.7401901112
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...