Informacja

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

Wyszukujesz frazę "functor" wg kryterium: Wszystkie pola


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ł

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