Search Results: File:Functor.svg

Sorry, the article you're looking for isn't specifically available. Here are related topics:

File:Functor.svg
Sabtu, 2022-06-18 02:37:42

https://creativecommons.org/licenses/by-sa/4.0CC BY-SA 4.0 Creative Commons Attribution-Share Alike 4.0 truetrue English Commutative diagram for functors...

Click to read more »
File:Commutative diagram of a functor.svg
Senin, 2024-04-08 12:30:47

adaptation of the initial diagram https://en.wikipedia.org/wiki/File:Functor.svg by user https://commons.wikimedia.org/wiki/User:Adamant.pwn, shared under...

Click to read more »
File:Connection between universal elements inducing a functor.svg
Jumat, 2024-04-12 01:53:35

English Universal morphisms can behave like a natural transformation between functors under suitable conditions. author name string: Ltrujello URL: https://commons...

Click to read more »
File:FunctorCone-01.png
Sabtu, 2024-12-28 20:23:32

  Commutative diagram illustrating the cone of a functor \begin{diagram} & N & \\ \ldTo(1,2)^{\psi_X} & & \rdTo(1,2)^{\psi_Y} \\ F(X) & \rTo_{F(f)} &...

Click to read more »
File:Diagonal functor.svg
Sabtu, 2024-10-05 06:48:20

DescriptionDiagonal functor.svg English: Proving that the diagonal functor is actually a functor Deutsch: Zum Beweis, dass der Diagonalfunktor tatsächlich...

Click to read more »
File:Lax monoidal functor associative.svg
Jumat, 2022-04-29 01:10:42

% One needs PDF2SVG to generate the SVG graph. % Author: Smimram, Danneks, Ika % Update Date: 11/22/2014 \documentclass{amsart} \usepackage[paperwidth=350px...

Click to read more »
File:Lax monoidal functor braided.svg
Kamis, 2025-12-18 00:01:33

% One needs PDF2SVG to generate the SVG graph. % Author: Smimram, Danneks, Ika % Update Date: 11/22/2014 \documentclass{amsart} \usepackage[paperwidth=230px...

Click to read more »
File:Imagem do predicado functor.svg
Selasa, 2020-09-08 23:27:33

DescriptionImagem do predicado functor.svg Português: imagem do predicado functor Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Stone functor.svg
Sabtu, 2025-01-11 23:31:22

DescriptionStone functor.svg English: SVG illustration of the Stone functor. Date 9 November 2014, 02:37:23 Source Own work Author IkamusumeFan...

Click to read more »
File:Tree as a functor.svg
Selasa, 2022-12-13 09:09:04

✓ The source code of this SVG is valid. I am the author of this work. I, the copyright holder of this work, hereby publish it under the following license:...

Click to read more »
File:Hom functor.svg
Minggu, 2025-12-14 04:55:10

functor.svg English: Commutative diagram for Hom functors. Date 9 November 2014 Source Own work based on: HomFunctor-01.png:  Author IkamusumeFan SVG development...

Click to read more »
File:AdjointFunctors-01.svg
Selasa, 2023-07-11 01:22:37

SVG version of File:AdjointFunctors-01.png  The SVG code is valid.  This vector image was created with MetaPost. Source code InfoField verbatimtex %&latex...

Click to read more »
File:Limit functor.svg
Rabu, 2022-12-14 12:55:10

DescriptionLimit functor.svg Limit is a functor Date 4 November 2007 (upload date) Source Own work Author Tlep...

Click to read more »
File:Naturality of product functor.svg
Sabtu, 2022-05-21 00:40:06

DescriptionNaturality of product functor.svg Product functor Ax- is natural in A. Date 3 November 2007 (upload date) Source Own work Author Tlep...

Click to read more »
File:Fullness of a diagonal functor.svg
Senin, 2024-12-23 00:11:20

DescriptionFullness of a diagonal functor.svg English: This diagram is used to prove that the diagonal functor is full if the underlying category is connected...

Click to read more »
File:Functor cone.svg
Selasa, 2026-01-13 02:48:09

DescriptionFunctor cone.svg English: A commutative diagram depicting a cone over a functor. Date 14 January 2009 Source Own work Author Ryan Reich Other...

Click to read more »
File:FunctorCone-02.png
Kamis, 2022-05-19 00:28:57

  Commutative diagram illustrating the cone of a functor \begin{diagram} F(X) & \rTo^{F(f)} & F(Y) \\ & \rdTo(1,2)_{\raisebox{1.5ex}{$\smash{\psi_X}$}}\ldTo(1...

Click to read more »
File:Natural transformation as a functor.svg
Selasa, 2025-11-11 08:01:27

DescriptionNatural transformation as a functor.svg English: Alternative description of natural transformations. A natural transformation sends each φ:X→Y...

Click to read more »
File:Diagonal functor (replaced).svg
Minggu, 2026-04-26 17:56:13

DescriptionDiagonal functor (replaced).svg English: Like File:Diagonal functor.svg, but the terms have been replaced. Deutsch: Ist File:Diagonal functor.svg, wobei...

Click to read more »
File:Tensorial Strength By Functor Strength.svg
Rabu, 2022-12-28 05:09:40

Strength By Functor Strength.svg English: This commutative diagram demonstrates how a tensorial strength of a symmetric monoidal functor can be obtained...

Click to read more »
File:Natural Transformation between two functors.svg
Rabu, 2025-11-12 11:11:08

which is part of the definition of a natural transformation between two functors. Wikimedia username: Lltrujello author name string: Lltrujello URL: https://commons...

Click to read more »
File:Graphical illustration of Hom functor (covariant).svg
Senin, 2020-10-19 16:41:22

DescriptionGraphical illustration of Hom functor (covariant).svg English: Illustration of H o m ( A , − ) {\displaystyle Hom(A,-)} functor: Fix A ∈ C {\displaystyle...

Click to read more »
File:Associativity Coherence of Tensorial Strengths.svg
Kamis, 2023-09-28 02:46:24

commutative diagram defining coherence of a tensorial strength for a monoidal functor with the associator of the respective monoidal category. determination...

Click to read more »
File:Left Unit Coherence of Tensorial Strengths.svg
Minggu, 2024-08-25 23:39:27

commutative diagram defining coherence of a tensorial strength for a monoidal functor with the left unitor of the respective monoidal category. determination...

Click to read more »
File:Right Unit Coherence of Tensorial Costrengths.svg
Rabu, 2026-03-11 00:00:43

commutative diagram defining coherence of a tensorial costrength for a monoidal functor with the right unitor of the respective monoidal category. determination...

Click to read more »
File:AdjointFunctors-01.png
Selasa, 2023-07-11 01:22:36

  Commutative diagram defining adjoint functors. \begin{diagram}[pilespacing=5pt] \Hom_{\scC}(X,GY) & & \rTo^{\mbox{\scriptsize $\Hom(f,Gg)$}} & & \Hom_{\scC}(X'...

Click to read more »
File:AdjointFunctors-02.png
Selasa, 2023-07-11 01:22:38

wikipedia. 2004-08-05 05:57 Fropuff 309×131×8 (5484 bytes) [[Commutative diagram]] for [[adjoint functors]] English determination method or standard: SHA-1...

Click to read more »
File:HomFunctor-01.png
Minggu, 2025-12-14 07:42:11

DescriptionHomFunctor-01.png English: Commutative diagram for Hom functors. Date 3 June 2005 Source Own work Author Fropuff~commonswiki Permission (Reusing...

Click to read more »
File:Tensor product of modules.png
Jumat, 2024-11-15 02:50:58

English author name string: Functor Salad Wikimedia username: Functor Salad URL: https://commons.wikimedia.org/wiki/user:Functor_Salad determination method...

Click to read more »
File:Adjoint functors sym.svg
Selasa, 2023-07-11 01:22:41

DescriptionAdjoint functors sym.svg English: svg version of AdjointFunctorSymmetry.png Date 10 November 2014, 21:50:28 Source Own work Author IkamusumeFan...

Click to read more »
File:Lax monoidal functor right unit.svg
Kamis, 2025-12-18 00:03:12

% One needs PDF2SVG to generate the SVG graph. % Author: Smimram, Danneks, Ika % Update Date: 11/22/2014 \documentclass{amsart} \usepackage[paperwidth=220px...

Click to read more »
File:Lax monoidal functor left unit.svg
Sabtu, 2022-05-21 00:40:06

% One needs PDF2SVG to generate the SVG graph. % Author: Smimram, Danneks, Ika % Update Date: 11/22/2014 \documentclass{amsart} \usepackage[paperwidth=220px...

Click to read more »
File:Connection between universal diagrams and adjunctions.svg
Jumat, 2024-04-12 01:53:33

can show that universal constructions for multiple objects can induce a functor. author name string: Ltrujello Wikimedia username: Ltrujello URL: https://commons...

Click to read more »
File:Functor category theory.svg
Senin, 2025-06-23 16:01:55

DescriptionFunctor category theory.svg Français : Illustration for a functor in category theory Date 22 June 2025 Source Own work Author Fschwarzentruber...

Click to read more »
File:AdjointFunctorSymmetry.png
Selasa, 2023-07-11 01:22:35

File:Adjoint functors sym.svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:AdjointFunctorSymmetry...

Click to read more »
File:Functor predicado 32.svg
Rabu, 2025-10-15 05:33:48

DescriptionFunctor predicado 32.svg Português: Functor predicado 32 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 26.svg
Jumat, 2026-01-09 15:25:31

DescriptionFunctor predicado 26.svg Português: Functor predicado 26 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 6.svg
Rabu, 2025-10-15 05:33:58

DescriptionFunctor predicado 6.svg Português: functor predicado 6 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor co-cone.svg
Jumat, 2025-12-05 05:55:25

DescriptionFunctor co-cone.svg English: A commutative diagram describing a co-cone under a functor. Date 14 January 2009 Source Own work Author Ryan Reich...

Click to read more »
File:Functor predicado 11.svg
Rabu, 2025-10-15 05:33:02

DescriptionFunctor predicado 11.svg Português: functor predicado 11 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor cone (extended).svg
Kamis, 2022-05-19 00:29:58

DescriptionFunctor cone (extended).svg English: A commutative diagram depicting the universal cone over a functor. Date 14 January 2009 Source Own work...

Click to read more »
File:Functor predicado 23.svg
Jumat, 2026-01-09 15:41:15

DescriptionFunctor predicado 23.svg Português: Functor predicado 23 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 4.svg
Rabu, 2025-10-15 05:33:49

DescriptionFunctor predicado 4.svg Português: functor predicado 4 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 1.svg
Rabu, 2025-10-15 05:32:59

DescriptionFunctor predicado 1.svg Português: functor predicado 1 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 10.svg
Selasa, 2026-01-06 11:59:25

DescriptionFunctor predicado 10.svg Português: functor predicado 10 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 16.svg
Rabu, 2025-10-15 05:33:09

DescriptionFunctor predicado 16.svg Português: Functor predicado 16 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor co-cone (extended).svg
Jumat, 2025-06-20 08:06:26

DescriptionFunctor co-cone (extended).svg English: A commutative diagram depicting a universal co-cone under a functor. Date 14 January 2009 Source Own...

Click to read more »
File:Functor predicado 29.svg
Jumat, 2026-01-09 14:56:38

DescriptionFunctor predicado 29.svg Português: Functor predicado 29 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 3.svg
Rabu, 2025-10-15 05:33:43

DescriptionFunctor predicado 3.svg Português: functor predicado 3 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 20.svg
Jumat, 2026-01-09 17:02:12

DescriptionFunctor predicado 20.svg Português: Functor predicado 20 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 12.svg
Rabu, 2025-10-15 05:33:04

DescriptionFunctor predicado 12.svg Português: functor predicado 12 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 28.svg
Jumat, 2026-01-09 17:05:12

DescriptionFunctor predicado 28.svg Português: Functor predicado 28 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:MorphismOfDeltaFunctors.png
Kamis, 2020-09-10 08:33:47

available|new image name}}. It is recommended to name the SVG file “MorphismOfDeltaFunctors.svg”—then the template Vector version available (or Vva) does...

Click to read more »
File:Functor predicado 9.svg
Rabu, 2025-10-15 05:34:04

DescriptionFunctor predicado 9.svg Português: functor predicado 9 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 17.svg
Jumat, 2026-01-09 15:47:31

DescriptionFunctor predicado 17.svg Português: Functor predicado 17 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 14.svg
Rabu, 2025-10-15 05:33:06

DescriptionFunctor predicado 14.svg Português: Functor predicado 14 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 21.svg
Selasa, 2026-05-19 09:22:46

DescriptionFunctor predicado 21.svg Português: Functor predicado 21 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 5.svg
Rabu, 2026-05-20 20:40:58

DescriptionFunctor predicado 5.svg Português: functor predicado 5 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 19.svg
Jumat, 2026-01-09 16:46:59

DescriptionFunctor predicado 19.svg Português: Functor predicado 19 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 30.svg
Rabu, 2025-10-15 05:33:45

DescriptionFunctor predicado 30.svg Português: Functor predicado 30 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 31.svg
Rabu, 2025-10-15 05:33:46

DescriptionFunctor predicado 31.svg Português: Functor predicado 31 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor cone (extended)-mod2.svg
Rabu, 2022-12-14 14:47:03

DescriptionFunctor cone (extended)-mod2.svg English: Cone which is a limit as well. Date 17 March 2016 Source Commons Author Ryan Reich...

Click to read more »
File:Functor predicado 25.svg
Sabtu, 2025-11-08 17:20:37

DescriptionFunctor predicado 25.svg Português: functor predicado 25 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 18.svg
Jumat, 2026-01-09 16:42:25

DescriptionFunctor predicado 18.svg Português: Functor predicado 18 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 24.svg
Jumat, 2026-01-09 15:32:25

DescriptionFunctor predicado 24.svg Português: Functor predicado 24 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 27.svg
Jumat, 2026-01-09 15:13:49

DescriptionFunctor predicado 27.svg Português: Functor predicado 27 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:GrothendieckGroupAsFunctor.PNG
Senin, 2020-10-26 13:08:07

DescriptionGrothendieckGroupAsFunctor.PNG Deutsch: Skizze zur Grothendieck-Gruppe als Funktor Date 2 September 2011-26 Source Own work (Original text:...

Click to read more »
File:Functor predicado 13.svg
Minggu, 2026-04-12 09:12:39

DescriptionFunctor predicado 13.svg Português: Functor predicado 13 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 22.svg
Jumat, 2026-01-09 17:04:16

DescriptionFunctor predicado 22.svg Português: Functor predicado 22 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 15.svg
Rabu, 2025-10-15 05:33:08

DescriptionFunctor predicado 15.svg Português: Functor predicado 15 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 8.svg
Rabu, 2025-10-15 05:34:02

DescriptionFunctor predicado 8.svg Português: functor predicado 8 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor predicado 7.svg
Rabu, 2025-10-15 05:34:00

DescriptionFunctor predicado 7.svg Português: functor predicado 7 Date 12 December 2016 Source Own work Author Willams Clemente...

Click to read more »
File:Functor cone (extended)-mod1.svg
Rabu, 2022-12-14 14:46:59

DescriptionFunctor cone (extended)-mod1.svg English: this diagram depicts a limit Date 17 March 2016 Source Commons Author Ryan Reich...

Click to read more »
File:Functor co-cone (extended)-mod2.svg
Rabu, 2022-12-14 14:46:50

DescriptionFunctor co-cone (extended)-mod2.svg English: Another picture of a co-cone Date 17 March 2016 Source Commons Author Ryan Reich...

Click to read more »
File:Functor Strength By Tensorial Strength.svg
Rabu, 2022-12-28 14:04:12

DescriptionFunctor Strength By Tensorial Strength.svg English: This commutative diagram demonstrates how a strength for a functor enriched over a symmetric...

Click to read more »
File:DeltaFunctorFunctoriality.png
Minggu, 2026-04-19 12:42:22

available|new image name}}. It is recommended to name the SVG file “DeltaFunctorFunctoriality.svg”—then the template Vector version available (or Vva) does...

Click to read more »
File:Universal morphisms appear as the unit and counit of adjunctions.svg
Selasa, 2025-05-06 04:20:15

and counit of an adjunction, which are natural transformations between functors, are an important example of universal morphisms. author name string: Ltrujello...

Click to read more »
File:Tensor product of modules2.svg
Senin, 2024-11-11 13:31:24

SVG; target object named "G" This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license. You are free: to share – to...

Click to read more »
File:Free-object-universal-property.svg
Sabtu, 2025-01-11 17:59:54

· tikzcd-export. This file uses the conventions from Adjoint functors / Conventions, flipping the diagram horizontally relative to those in Universal...

Click to read more »
File:Functor co-cone (extended, alternate version).svg
Selasa, 2024-10-29 07:49:27

DescriptionFunctor co-cone (extended, alternate version).svg English: this diagram depicts a colimit Date 17 March 2016 Source Commons Author Ryan Reich...

Click to read more »
File:Two long exact sequences.svg
Minggu, 2026-05-17 22:11:32

commutative diagram between two long exact sequences induced by right-derived functors on two commuting short exact sequences Simplified Chinese...

Click to read more »
File:FunctorCone-03.png
Minggu, 2024-07-21 03:34:07

File:Functor cone (extended).svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:FunctorCone-03...

Click to read more »
File:Two long exact sequences2.png
Selasa, 2026-05-19 04:20:17

en.wikipedia. Image of two long exact sequences, to be used for derived functor. Produced with Xy-pic using the following source code. Both the image and...

Click to read more »
File:FunctorCone-04.png
Kamis, 2022-05-19 00:29:19

File:Functor co-cone (extended).svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:FunctorCone-04...

Click to read more »
File:AdjointFunctorsHomSets.png
Selasa, 2023-07-11 01:22:40

File:natural phi.svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:AdjointFunctorsHomSets.png → File:natural...

Click to read more »
File:Functors Between Ob C and Mor C, Dom, Cod, Id.svg
Jumat, 2024-11-22 16:53:18

DescriptionFunctors Between Ob C and Mor C, Dom, Cod, Id.svg English: Caption Here. Date 22 November 2024 Source Own work Author Perxeonic Acid...

Click to read more »
File:DeltaFunctorLongExactSequence.png
Minggu, 2026-04-19 12:42:23

available|new image name}}. It is recommended to name the SVG file “DeltaFunctorLongExactSequence.svg”—then the template Vector version available (or Vva)...

Click to read more »
File:2-commutative-diagram.svg
Senin, 2024-11-18 06:22:58

Description2-commutative-diagram.svg English: A diagram depicting two functors and a natural transformation between them. \begin{tikzcd}[sep=large] \mathbf{C}...

Click to read more »
File:Natural phi.svg
Jumat, 2026-05-22 19:49:41

phi.svg English: SVG version of AdjointFunctorsHomSets.png Date 9 November 2014 Source Own work Author IkamusumeFan Other versions AdjointFunctorsHomSets...

Click to read more »
File:AdjointFunctors2.svg
Senin, 2024-11-18 06:23:05

DescriptionAdjointFunctors2.svg English: en:Commutative diagram for en:adjoint functors Date 7 March 2018 Source Own work Author TomT0m Other versions...

Click to read more »
File:Graph for example adjacency matrix.svg
Senin, 2026-06-01 06:05:06

matrix.svg English: Graph for example adjacency matrix. Source I (Functor salad (talk)) created this work entirely by myself. Author Functor salad (talk)...

Click to read more »
File:Functoriality (2).svg
Minggu, 2022-04-10 21:56:02

DescriptionFunctoriality (2).svg English: SP is a functor. Date 1 February 2022 Source Own work Author GJ1729...

Click to read more »
File:Tensorial Strength By Pure Operator.svg
Kamis, 2026-02-19 22:01:13

Strength By Pure Operator.svg English: This commutative diagram demonstrates how a "pure" operator for an applicative functor can be used to define a tensorial...

Click to read more »
File:String diagram adjunction.svg
Kamis, 2025-10-23 15:39:24

diagram adjunction.svg English: Representation in string diagrams of one of the equalities of an adjunction between two functors F and G. Date 27 July...

Click to read more »
File:Pure Operator By Tensorial Strength.svg
Sabtu, 2025-05-03 19:02:46

Operator By Tensorial Strength.svg English: This commutative diagram demonstrates how a "pure" operator for an applicative functor can be obtained from a tensorial...

Click to read more »
File:2-category double composition letters.svg
Minggu, 2023-04-09 21:32:25

letters.svg Français : Compatibilité entre les compositions horizontales et verticales de 2-morphismes. Adapté de File:2-category double composition.svg avec...

Click to read more »
File:Graph for example adjacency matrix cz.svg
Minggu, 2023-12-24 23:26:59

DescriptionGraph for example adjacency matrix cz.svg Čeština: Remake of File:Graph for example adjacency matrix.svg by Functor salad Date 24 December 2023 Source Own...

Click to read more »
File:2-category double composition.svg
Minggu, 2023-04-09 21:32:24

Description2-category double composition.svg English: See w:2-category. Date 15 May 2012 Source Own work Author Incnis Mrsi (talk)...

Click to read more »
File:2-category vertical composition.svg
Minggu, 2023-04-09 21:32:28

Description2-category vertical composition.svg English: see w:2-category Date 15 May 2012 Source Own work Author Incnis Mrsi (talk)...

Click to read more »
File:Short Exact Sequence.svg
Sabtu, 2025-05-10 11:36:52

t {\displaystyle \mathbf {Set} } (or any category that has a forgetful functor to S e t {\displaystyle \mathbf {Set} } ). Function i is an injection and...

Click to read more »
File:2-category horizontal composition upper.svg
Minggu, 2023-04-09 21:32:26

Description2-category horizontal composition upper.svg English: See w:2-category. Date 15 May 2012 Source Own work Author Incnis Mrsi (talk)...

Click to read more »
File:Natural transformation composition.svg
Rabu, 2020-10-14 08:28:05

DescriptionNatural transformation composition.svg Čeština: Horizontální a vertikální skládání přirozených transformací English: Horizontal and vertical...

Click to read more »
File:2-category horizontal composition lower.svg
Minggu, 2023-04-09 21:32:26

Description2-category horizontal composition lower.svg English: See w:2-category. Date 15 May 2012 Source Own work Author Incnis Mrsi (talk)...

Click to read more »
File:Monoidal Coherence Map from Applicative Formulation.svg
Rabu, 2024-07-17 13:59:06

Applicative Formulation.svg English: This commutative diagram demonstrates how the (product) coherence map of a monoidal functor over a closed monoidal...

Click to read more »
File:Applicative Form of Monoidal Coherence Map 01.svg
Minggu, 2023-09-10 00:03:10

Monoidal Coherence Map 01.svg English: This commutative diagram demonstrates how the (product) coherence map of a monoidal functor over a closed monoidal...

Click to read more »
File:2-category vertical composition letters.svg
Minggu, 2023-04-09 21:32:28

letters.svg Français : Composition verticale de deux 2-morphismes dans une 2-catégorie. Adaptée de l'image File:2-category vertical composition.svg avec...

Click to read more »
File:2-category horizontal composition upper letters.svg
Minggu, 2023-04-09 21:32:27

letters.svg Français : Composition horizontale de deux 2-morphismes dans une 2-catégorie. Adapté de File:2-category horizontal composition upper.svg avec...

Click to read more »