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