Uploads by Michiexile
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
20:43, 6 October 2009 | ArightrightarrowsB.gif (file) | ![]() |
268 bytes | 1 | |
22:41, 13 October 2009 | AfromAxBtoB.png (file) | ![]() |
6 KB | 1 | |
22:41, 13 October 2009 | AfromVtoB.png (file) | ![]() |
6 KB | 1 | |
22:42, 13 October 2009 | AxBdiagram.png (file) | ![]() |
10 KB | 1 | |
22:57, 13 October 2009 | ProductIsomorphismDiagram.png (file) | ![]() |
14 KB | 1 | |
04:42, 14 October 2009 | A-Bdiagram.png (file) | ![]() |
10 KB | 1 | |
22:27, 21 October 2009 | ConeDefDiagram.png (file) | ![]() |
8 KB | 1 | |
22:28, 21 October 2009 | ConeMorphismDiagram.png (file) | ![]() |
7 KB | 1 | |
22:29, 21 October 2009 | CoConeDefDiagram.png (file) | ![]() |
8 KB | 1 | |
22:29, 21 October 2009 | CoConeMorphismDiagram.png (file) | ![]() |
7 KB | 1 | |
22:30, 21 October 2009 | EqualizerDiagram.png (file) | ![]() |
5 KB | 1 | |
22:30, 21 October 2009 | EqualizerCone.png (file) | ![]() |
6 KB | 1 | |
22:31, 21 October 2009 | CoequalizerCoCone.png (file) | ![]() |
6 KB | 1 | |
22:31, 21 October 2009 | EquivCoequalizer.png (file) | ![]() |
5 KB | 1 | |
17:54, 28 October 2009 | PreimageDiagram.png (file) | ![]() |
8 KB | 1 | |
17:55, 28 October 2009 | IntersectionDiagram.png (file) | ![]() |
8 KB | 1 | |
17:55, 28 October 2009 | PullbackDiagram.png (file) | ![]() |
8 KB | 1 | |
17:56, 28 October 2009 | PushoutDiagram.png (file) | ![]() |
8 KB | 1 | |
17:57, 28 October 2009 | FreeMonoid.png (file) | ![]() |
11 KB | 1 | |
17:58, 28 October 2009 | AdjointDefinition.png (file) | ![]() |
11 KB | 1 | |
17:59, 28 October 2009 | AdjointNaturalFirst.png (file) | ![]() |
16 KB | 1 | |
19:19, 28 October 2009 | AdjointNaturalSecond.png (file) | ![]() |
16 KB | 1 | |
19:53, 28 October 2009 | AdjointDualDefinition.png (file) | ![]() |
10 KB | 1 | |
19:54, 28 October 2009 | AdjointIso.png (file) | ![]() |
8 KB | 1 | |
19:54, 28 October 2009 | AdjointMuAssociative.png (file) | ![]() |
10 KB | 1 | |
19:54, 28 October 2009 | AdjointMuUnit.png (file) | ![]() |
12 KB | 1 | |
20:34, 28 October 2009 | AdjointPair.png (file) | ![]() |
6 KB | 2 | |
18:46, 4 November 2009 | MonadAssociative.png (file) | ![]() |
9 KB | 1 | |
18:46, 4 November 2009 | MonadUnit.png (file) | ![]() |
10 KB | 1 | |
18:47, 4 November 2009 | KleisliFactorizationDiagram.png (file) | ![]() |
18 KB | 1 | |
18:39, 11 November 2009 | EilenbergMooreUnity.png (file) | ![]() |
7 KB | 1 | |
18:39, 11 November 2009 | EilenbergMooreAssociativity.png (file) | ![]() |
8 KB | 1 | |
18:40, 11 November 2009 | EilenbergMoorePMorphism.png (file) | ![]() |
8 KB | 1 | |
18:41, 11 November 2009 | GroupDiagram.png (file) | ![]() |
7 KB | 1 | |
18:41, 11 November 2009 | NNOcommutes.png (file) | ![]() |
9 KB | 1 | |
18:41, 11 November 2009 | MonoidCommutes.png (file) | ![]() |
10 KB | 1 | |
18:42, 11 November 2009 | MagmaComposition.png (file) | ![]() |
6 KB | 1 | |
18:57, 11 November 2009 | LambekPartialDiagram.png (file) | ![]() |
7 KB | 1 | |
18:58, 11 November 2009 | LambekDiagram.png (file) | ![]() |
8 KB | 1 | |
18:39, 17 November 2009 | CoalgebraMorphism.png (file) | ![]() |
9 KB | 1 | |
19:42, 24 November 2009 | SubobjectFunctorMorphismPullback.png (file) | ![]() |
11 KB | 1 | |
19:42, 24 November 2009 | SubobjectClassifierPullback.png (file) | ![]() |
8 KB | 1 | |
19:43, 24 November 2009 | ToposMembershipPullback.png (file) | ![]() |
9 KB | 1 | |
19:44, 24 November 2009 | ToposForallPullback.png (file) | ![]() |
9 KB | 1 | |
19:44, 24 November 2009 | ToposTrivialSequent.png (file) | ![]() |
5 KB | 1 | |
19:44, 24 November 2009 | ToposForallConnective.png (file) | ![]() |
6 KB | 1 | |
19:44, 24 November 2009 | ToposSubstitution.png (file) | ![]() |
8 KB | 1 | |
19:45, 24 November 2009 | ToposFalsumDerivation.png (file) | ![]() |
7 KB | 1 | |
19:45, 24 November 2009 | ToposExFalsoQuodlibet.png (file) | ![]() |
5 KB | 1 | |
19:51, 24 November 2009 | ToposDisjunctionConnective.png (file) | ![]() |
8 KB | 1 |