Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "functor" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-26 z 26
    Tytuł:
    Categories of functors between categories with partial morphisms
    Autorzy:
    Vogel, Hans-Jürgen
    Powiązania:
    https://bibliotekanauki.pl/articles/729097.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    symmetric monoidal category
    dhts-category
    Hoehnke category
    Hoehnke theory
    monoidal functor
    d-monoidal functor
    dht-symmetric functor
    functor composition
    cartesian product
    Opis:
    It is well-known that the composition of two functors between categories yields a functor again, whenever it exists. The same is true for functors which preserve in a certain sense the structure of symmetric monoidal categories. Considering small symmetric monoidal categories with an additional structure as objects and the structure preserving functors between them as morphisms one obtains different kinds of functor categories, which are even dt-symmetric categories.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 39-87
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On generalized Hom-functors of certain symmetric monoidal categories
    Autorzy:
    Vogel, Hans
    Powiązania:
    https://bibliotekanauki.pl/articles/729029.pdf
    Data publikacji:
    2002
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    symmetric monoidal category
    monoidal functor
    Hom-functor
    Opis:
    It is well-known that for each object A of any category C there is the covariant functor $H^{A}: C → Set$, where $H^{A}(X)$ is the set C[A,X] of all morphisms out of A into X in C for an arbitrary object X ∈ |C| and $H^{A}(φ)$, φ ∈ C[X,Y], is the total function from C[A,X] into C[A,Y] defined by C[A,X] ∋ u → uφ ∈ C[A,Y].
    If C̲ is a dts-category, then $H^{A}$ is in a natural manner a d-monoidal functor with respect to
    $\tilde{H^{A}} = $\tilde{H^{A}}⟨X,Y⟩: C[A,X] × C[A,Y] → C[A,X⊗Y]$,
    $((u₁,u₂) ↦ d_{A}(u₁⊗u₂)) | X,Y ∈ |C|)$
    and
    $i_{H^{A}}:{∅} → C[A,I], (∅ ↦ t_{A})$.
    This construction can be generalized to functors $H^{e}$ from any dhth∇s-category K̲ into the category P̲a̲r̲ related to arbitrary subidentities e of K̲ (cf. S [3]). Each such generalized Hom-functor $H^{e}$ related to any subidentity $e ≤ 1_{A}$, $o_{A,A} ≠ e$, turns out to be a monoidal dhth∇s-functor from K̲ into P̲a̲r̲.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 1; 47-71
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The functor σ²X
    Autorzy:
    Todorčević, Stevo
    Powiązania:
    https://bibliotekanauki.pl/articles/1288871.pdf
    Data publikacji:
    1995
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Opis:
    We disprove the existence of a universal object in several classes of spaces including the class of weakly Lindelöf Banach spaces.
    Źródło:
    Studia Mathematica; 1995, 116, 1; 49-57
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pojęcie nazwy oraz funktora
    The notions of name and functor
    Autorzy:
    Wawrzonkiewicz-Słomska, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/501345.pdf
    Data publikacji:
    2012
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    philosophy
    logic
    history of philosophy
    history of logic
    notion
    name
    functor
    Opis:
    Syntactic categories fulfil different roles in constructing compound expressions. Sentences and names, and also some functors are syntactic categories. Sentences are expressions which state that something is this way and not another. Therefore, in the logical sense, a sentence is a following statement: “The earth is a planet”. Sentences (expressions) are intensional when they do not deserve a feature of extensionality. There can be sentences saying about conditions of the mind, causal or time relationships etc. Therefore, they are intensional because their logical value (i.e. truth or falsity) depends not only on component elements (e.g. from truth / falsity of clauses of the compound sentence), but also on different factors. Between the modules of this expression (e.g. between the component sentences of the compound sentence) some more different relations occur. These sentences get in relationships between them, e.g. in the cause and effect relationship - as a logical implication relation. Therefore, the logical value of these sentences goes beyond simple logical deductions, and according to some theories goes beyond logic itself.
    Źródło:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2012, 1(9); 135-139
    1898-0171
    Pojawia się w:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On coalgebras and type transformations
    Autorzy:
    Gumm, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/728854.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    coalgebra
    endofunctor
    filter functor
    cartesian transformation
    crisp
    Opis:
    We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 187-197
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Adjointness between theories and strict theories
    Autorzy:
    Vogel, Hans-Jürgen
    Powiązania:
    https://bibliotekanauki.pl/articles/728926.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    symmetric monoidal category
    dhts-category
    partial theory
    adjoint functor
    Opis:
    The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols.
    If the object class of a dhts-category forms even a monoid with unit element I and zero element O, then one has a strict partial theory.
    In this paper is shown that every J-sorted partial theory corresponds in a natural manner to a J-sorted strict partial theory via a strongly d-monoidal functor. Moreover, there is a pair of adjoint functors between the category of all J-sorted theories and the category of all corresponding J-sorted strict theories.
    This investigation needs an axiomatic characterization of the fundamental properties of the category Par of all partial function between arbitrary sets and this characterization leads to the concept of dhts- and dhth∇s-categories, respectively (see [5], [11], [13]).
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 2; 163-212
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Acyclic inductive spectra of Fréchet spaces
    Autorzy:
    Wengenroth, Jochen
    Powiązania:
    https://bibliotekanauki.pl/articles/1287317.pdf
    Data publikacji:
    1996
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    inductive and projective limits
    acyclicity
    derived projective limit functor
    Opis:
    We provide new characterizations of acyclic inductive spectra of Fréchet spaces which improve the classical theorem of Palamodov and Retakh. It turns out that acyclicity, sequential retractivity (defined by Floret) and further strong regularity conditions (introduced e.g. by Bierstedt and Meise) are all equivalent. This solves a problem that was folklore since around 1970. For inductive limits of Fréchet-Montel spaces we obtain even stronger results, in particular, Grothendieck's problem whether regular (LF)-spaces are complete has a positive solution in this case and we show that even the weakest regularity conditions already imply acyclicity. One of the main benefits from our results is an improvement in the theory of projective spectra of (DFM)-spaces. We prove the missing implication in a theorem of Vogt and thus obtain evaluable conditions for vanishing of the derived projective limit functor which have direct applications to classical problems of analysis like surjectivity of partial differential operators on various classes of ultradifferentiable functions (as was explained e.g. by Braun, Meise and Vogt).
    Źródło:
    Studia Mathematica; 1996, 120, 3; 247-258
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
    IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488172.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    identyczność
    zaimki funktorowe
    zaimki wskazujące
    bezkwantyfikatorowy rachunek nazw
    logika Ockhama
    logika średniowieczna
    deskrypcje określone
    identity
    functor pronouns
    demonstrative pronouns
    quantifier-less calculus of names
    Ockham’s logic
    medieval logic
    definite descriptions
    Opis:
    From the logical point of view, the most interesting among the pronouns are demonstrative pronouns (especially: this/that), indefinite pronouns (a/an), definite pronoun (the) and quantifying pronouns (every, all, some). Unlike personal pronouns (e.g. I/you/he) they are in fact functors (of the n/n category). The differentiation between personal pronouns (n) and functor pronouns (n/n) is vital here. This differentiation does not exist in traditional grammar. The study is limited to determining functor pronouns with the use of logical properties of quantifying expressions, which are functor pronouns themselves – all (n) and some (cr) – formally expressed in the quantifier-less calculus of names (BRN). The calculus is properly enriched with demonstrative pronouns (demonstrativa), in connection to certain studies by Toshiharu Waragai (LID). An attempt to employ this system (BRND) in the analysis of some fragments of Ockham’s Summa Logicae is shown here. The work is concluded with the analysis of a functor pronoun the only (t), being a special case of a definite pronoun, which is characterised here by means of rules. The work reveals the connection between this pronoun and the operator of definite descriptions (marked in the same way) in relation to a certain Ludwik Borkowski’s conception.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 3; 125-141
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Semigroups derived from (Γ,n)-semihypergroups and T-functor
    Autorzy:
    Ostadhadi-Dehkordi, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/729159.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    (Γ,n)-semihypergroup
    Θ-relation
    T-fuctor
    fundamental semigroup
    Opis:
    The main purpose of this paper is to introduce the concept of (Γ,n)-semihypergroups as a generalization of hypergroups, as a generalization of n-ary hypergroups and obtain an exact covariant functor between the category (Γ,n)-semihypergrous and the category semigroups. Moreover, we introduce and study complete part. Finally, we obtain some new results and some fundamental theorems in this respect.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2015, 35, 1; 79-95
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On naturality of some construction of connections
    Autorzy:
    Kurek, Jan
    Mikulski, Włodzimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/1395922.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    General connection
    classical linear connection
    fibred manifold
    bundle functor
    natural operator
    Opis:
    Let \(F\) be a bundle functor on the category of all fibred manifolds and fibred maps. Let \(\Gamma\) be a general connection in a fibred manifold \(\mathrm{pr}:Y\to M\) and \(\nabla\) be a classical linear connection on \(M\). We prove that the  well-known general connection \(\mathcal{F}(\Gamma,\nabla)\) in \(FY\to M\) is canonical with respect to fibred maps and with respect to natural transformations of bundle functors.
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2020, 74, 1
    0365-1029
    2083-7402
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Carlson type inequality with blocks and interpolation
    Autorzy:
    Ya Kruglyak, Natan
    Maligranda, Lech
    Persson, Lars
    Powiązania:
    https://bibliotekanauki.pl/articles/1292922.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    concavity
    Carlson's inequality
    blocks
    interpolation
    Peetre's interpolation functor
    Calderón-Lozanovskiǐ construction
    Opis:
    An inequality, which generalizes and unifies some recently proved Carlson type inequalities, is proved. The inequality contains a certain number of "blocks" and it is shown that these blocks are, in a sense, optimal and cannot be removed or essentially changed. The proof is based on a special equivalent representation of a concave function (see [6, pp. 320-325]). Our Carlson type inequality is used to characterize Peetre's interpolation functor $⟨⟩_{φ}$ (see [26]) and its Gagliardo closure on couples of functional Banach lattices in terms of the Calderón-Lozanovskiǐ construction. Our interest in this functor is inspired by the fact that if $φ = t^{θ}(0 < θ < 1)$, then, on couples of Banach lattices and their retracts, it coincides with the complex method (see [20], [27]) and, thus, it may be regarded as a "real version" of the complex method.
    Źródło:
    Studia Mathematica; 1993, 104, 2; 161-180
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Continuity of projections of natural bundles
    Autorzy:
    Mikulski, Włodzimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/1312025.pdf
    Data publikacji:
    1992
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    natural bundle
    quasi-natural bundle
    regular quasi-natural bundle
    locally determined associated space
    quasi-prolongation functor
    Opis:
    This paper is a contribution to the axiomatic approach to geometric objects. A collection of a manifold M, a topological space N, a group homomorphism E: Diff(M) → Homeo(N) and a function π: N → M is called a quasi-natural bundle if (1) π ∘ E(f) = f ∘ π for every f ∈ Diff(M) and (2) if f,g ∈ Diff(M) are two diffeomorphisms such that f|U = g|U for some open subset U of M, then E(f)|π^{-1}(U) = E(g)|π^{-1}(U). We give conditions which ensure that π: N → M is continuous. In particular, if (M,N,E,π) is a quasi-natural bundle with N Hausdorff, then π is continuous. Using this result, we classify (quasi) prolongation functors with compact fibres.
    Źródło:
    Annales Polonici Mathematici; 1992, 57, 2; 105-120
    0066-2216
    Pojawia się w:
    Annales Polonici Mathematici
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Konceptualizm jako konceptyzm
    Conceptualism As Conceptism
    Autorzy:
    Piotrowski, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/424685.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Sztuk Pięknych w Gdańsku
    Tematy:
    CONTEMPORARY ART
    CONCEPTUAL ART
    CONCEPTUALISM
    CONCEPTISM
    ASTEISM
    ASTEIOLOGY
    INTENSION
    FUNCTOR AS
    PARALOGY
    CEONCEPT ART
    ANTROPOLOGISED ART
    TRAUMA OF SENSE
    WIT
    ANDRZEJ PARTUM
    Opis:
    We know, how valuable the role of the functor ‘as’ played in conceptualism. The functor was a basic linguistic tool of conceptual art infrastructure – the minimal part of speech that allowed for the production of concepts, engaging ingenium in its primary function as ingenium comparans. The criticism of conceptualism, mainly comparison or identification of the artwork and analytic proposition revealed the fact that the tautological model of Kosuth is just one of many art concepts and remains a product of paralogical thinking. What is therefore decisive for conceptualism is an attempt to build a universal art theory: an idea, that for centuries has remained the basis for logical thinking, or the concept itself, in which paralogy cannot be eliminated. The tendency to narrow the meaning of a concept and limit art to its idea was marked in the text by Daniel Buren “Beware!” (1969-1970). How did it happen, that the formula of conceptism, used in the beginning of the decade by Henry Flynt in the text entitled “Concept Art” (1961) was replaced by conceptual art? For Flynt concept art was art whose materials were the language and concepts. According to him, a concept is a trace of an idea by Plato and means the intension of a name, but with today’s state of knowledge demanding an objective relationship between a name and its intension this meaning is incorrect. Therefore, if the relationship is subjective, then the concept as a possible opposition towards the objective idea occupies a privileged space in a language and keeps its strength. Also in Sol LeWitt’s “Paragraphs on Conceptual Art” (1967) and “Sentences on Conceptual Art” (1969), in which despite the fact that the expression ‘conceptual art’ appears explicitly, the term ‘concept’ remains an alternative to the idea, that may be simple and does not need to be complex. So according to Sol LeWitt, the concept implies a general direction, and ideas are its components. To radicalise this issue, let’s ask, if conceptualism privileges the conceptual, as its literally understood name would indicate? Or on the other hand is what is called a concept, that being something ingenial and that even though it includes a moment of ideation (abstracting and transcending sensuality, that is crossing the borders of the material paradigm of art towards the idea), it is not reduced to a conceptual element, but rather expresses sensuality or its basic modus? The text is an attempt to show the tension in the art of Polish conceptists who referred in their paralogical discourse to conceptualism, especially with reference to the example of Andrzej Partum’s work.
    Źródło:
    Sztuka i Dokumentacja; 2012, 6; 109-117
    2080-413X
    Pojawia się w:
    Sztuka i Dokumentacja
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The constructions of general connections on the fibred product of q copies of the first jet prolongation
    Autorzy:
    Plaszczyk, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/747059.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
    Tematy:
    General connection
    classical linear connection
    first jet prolongation
    bundle functor
    natural operator
    Opis:
    We describe all natural operators \(A\) transforming general connections \(\Gamma\) on fibred manifolds \(Y \rightarrow M\) and torsion-free classical linear connections \(\Lambda\) on \(M\) into general connections \(A(\Gamma,\Lambda)\) on the fibred product \(J^{<q>}Y \rightarrow M\) of \(q\) copies of the first jet prolongation \(J^{1}Y \rightarrow M\).
    Źródło:
    Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2018, 72, 1
    0365-1029
    2083-7402
    Pojawia się w:
    Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some properties of coalgebras and their role in computer science
    Autorzy:
    Steingartner, W.
    Radakovic, D.
    Valkosak, F.
    Macko, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/973618.pdf
    Data publikacji:
    2016
    Wydawca:
    Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
    Tematy:
    coalgebra
    functor
    induction
    internal state of program
    observable behavior of program
    SLGeometry software
    koalgebra
    funktor
    indukcja
    endofunktor
    Opis:
    This paper introduces basic theoretical knowledge of coalgebras in computer science. Coalgebras are, specifically in category theory, structures defined according to an endofunctor. For both algebra and coalgebra, a functor is a convenient and general way of defining a signature. We present practical usage of the coalgebras in an example. We observe a behavior of a simple Sequencer developed in SLGeometry framework. We model its behavior with the simple program written in Python, and we describe its behavior within coalgebra of endofunctor. The computation of the values stored in internal states is performed coinductively. Our approach can be used in the teaching process of formal methods for young software engineers.
    Źródło:
    Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 4; 145-156
    2299-9965
    Pojawia się w:
    Journal of Applied Mathematics and Computational Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Probability measure functors preserving infinite-dimensional spaces
    Autorzy:
    Nguyen, Nhu
    Sakai, Katsuro
    Powiązania:
    https://bibliotekanauki.pl/articles/966867.pdf
    Data publikacji:
    1996
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    pseudo-interior
    probability measure functor
    $l_{2}$
    $l_{2} × l_{2}^{f}$
    radial-interior
    hyperspace
    σ
    G-symmetric power
    $l_{2}^{f}$
    support
    $(l_{2}^{f})^{ω}$
    the Hilbert cube
    Źródło:
    Colloquium Mathematicum; 1996, 70, 2; 291-304
    0010-1354
    Pojawia się w:
    Colloquium Mathematicum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Standard exact projective resolutions relative to a countable class of Fréchet spaces
    Autorzy:
    Domański, P.
    Krone, J.
    Vogt, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/1220055.pdf
    Data publikacji:
    1997
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    Fréchet spaces
    Köthe sequence spaces
    splitting of short exact sequences
    nuclear spaces
    Schwartz spaces
    quasinormable spaces
    functor $Ext^1$
    projective spaces
    projective resolution
    Opis:
    We will show that for each sequence of quasinormable Fréchet spaces $(E_n)_ℕ$ there is a Köthe space λ such that $Ext^1(λ(A), λ(A) = Ext^1 (λ(A), E_n)=0$ and there are exact sequences of the form $... → λ(A) → λ(A) → λ(A) → λ(A) → {E_n} → 0$. If, for a fixed ℕ, $E_n$ is nuclear or a Köthe sequence space, the resolution above may be reduced to a short exact sequence of the form $0 → λ(A) → λ(A) → {E_n} → 0$. The result has some applications in the theory of the functor $Ext^1$ in various categories of Fréchet spaces by providing a substitute for non-existing projective resolutions.
    Źródło:
    Studia Mathematica; 1997, 123, 3; 275-290
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
    A quantifier-less calculus of names with the rule of extensionality
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013180.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    reguła ekstensjonalności dla funktora inkluzji jednostkowej
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    extensionality rule for the functor of singular inclusion
    elementary ontology
    Leśniewski’s systems
    Opis:
    Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 417-429
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An approach to the translation of deontic modality in legal texts. The case of the Polish and English versions of the “Charter of Fundamental Rights of the European Union”
    Autorzy:
    Jaskot, Maciej Paweł
    Wiltos, Agnieszka
    Powiązania:
    https://bibliotekanauki.pl/articles/677009.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    deontic modality
    confrontation of languages
    legal multilingualism
    legal translation
    modal functor
    European Union
    Charter of Fundamental Rights of the European Union
    Opis:
    An approach to the translation of deontic modality in legal texts. The case of the Polish and English versions of the Charter of Fundamental Rights of the European UnionThe co-existence of twenty-four legal languages in the European Union is guaranteed by the basic principles of EU language policy, stated in its founding treaty. Indeed, every EU citizen has the right to communicate with the EU in the official language of their choice, and to receive a reply in the same language. Such a situation is reflected in legal multilingualism, which presents challenges for both linguists and translators.One of these challenges is the translation of deontic modality. This article focuses on how deontic modality is expressed in the Polish and English versions of the Charter of Fundamental Rights of the European Union. The form and usage of modal forms which express deontic possibility (i.e. permission) and deontic necessity (i.e. obligation) are highlighted, as well as the similarities and differences between the two parallel texts. The differences between the modal forms in the two versions of the text have consequences regarding the degree of both the subject’s and addressee’s commitment to norms and regulations.This article aspires to contribute to the study of deontic modal language, which is considered to be one of the central linguistic phenomena most in need of explanation. Tłumaczenie modalności deontycznej w tekstach prawnych na przykładzie polsko- i anglojęzycznej wersji Karty praw podstawowych Unii EuropejskiejWspółistnienie dwudziestu czterech języków oficjalnych Unii Europejskiej gwarantowane jest przez podstawowe zasady przyjętej przez nią polityki językowej, których podstawy zawarte są w traktatach założycielskich. W ich wyniku każdy obywatel UE ma prawo nie tylko do komunikowania się z organami UE w wybranym przez siebie języku urzędowym oraz do otrzymania odpowiedzi w tymże języku, ale również do tego, aby całe prawo Unii Europejskiej tworzone było we wszystkich 24 językach urzędowych. Wspomniane założenia stanowią jednak ogromne wyzwanie zarówno dla tłumaczy, jak i lingwistów.Teksty prawne składające się na system prawa Unii Europejskiej, sporządzone w 24 językach urzędowych UE, zawierają w sobie wypowiedzi, których immanentną cechą jest modalność. Jednakowe wyrażenie wspomnianego elementu modalnego wydaje się jednak szczególnie trudne w procesie redagowania wielojęzycznych tekstów prawnych.Niniejszy artykuł poświęcony jest zagadnieniu sposobu wyrażania modalności deontycznej w polskiej i angielskiej wersji Karty Praw Podstawowych Unii Europejskiej. Przeprowadzone badanie pozwoliło na wyodrębnienie poszczególnych form językowych będących nośnikiem odpowiednio możliwości (dozwolenie) oraz konieczności (nakaz i zakaz) deontycznej. Wykazane zostały ponadto zaobserwowane różnice i podobieństwa pomiędzy dwoma równoległymi wersjami językowymi wspomnianego dokumentu. Na uwagę zasługują zwłaszcza te ostatnie ze względu na ich potencjalne konsekwencje wynikające z różnego stopnia zobowiązania się zarówno podmiotu, jak i adresata dokumentu do przestrzegania wynikających z niego norm.Celem artykułu jest przyczynienie się do rozszerzenia badań nad środkami wyrażania modalności deontycznej, stanowiącymi jedno z głównych zagadnień lingwistycznych wymagających głębszej analizy i opisu.
    Źródło:
    Cognitive Studies; 2017, 17
    2392-2397
    Pojawia się w:
    Cognitive Studies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-26 z 26

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies