# User contributions

- 13:14, 2 May 2016 (diff | hist) . . (+188) . . Important Work (Added some subfields) (current)
- 13:06, 2 May 2016 (diff | hist) . . (-24) . . m Important Work
- 13:06, 2 May 2016
(diff | hist) . .
**(+1,750)** . . N Important Work (Set up a first version) - 16:40, 21 January 2016
(diff | hist) . .
**(+9,307)** . . m Type Theoretic Interpretation of the Final Chain (Added full code) (current) - 16:06, 21 January 2016 (diff | hist) . . (+43) . . m Coalgebra (Macro for reals) (current)
- 15:52, 21 January 2016 (diff | hist) . . (+289) . . m Type Theoretic Interpretation of the Final Chain (Enable syntax highlighting)
- 15:43, 21 January 2016 (diff | hist) . . (+41) . . m Type Theoretic Interpretation of the Final Chain (Naturals are not predefined any more)
- 14:33, 21 January 2016 (diff | hist) . . (-5) . . m Type Theoretic Interpretation of the Final Chain
- 14:29, 21 January 2016
(diff | hist) . .
**(+4,482)** . . Type Theoretic Interpretation of the Final Chain (Proper content) - 10:57, 21 January 2016
(diff | hist) . .
**(+1,644)** . . Type Theoretic Interpretation of the Final Chain (Started writing) - 10:23, 14 January 2016 (diff | hist) . . (+132) . . N Type Theoretic Interpretation of the Final Chain (Create stub)
- 10:01, 28 May 2015 (diff | hist) . . (-1) . . m Higher Coinductive Types (Small corrections) (current)
- 14:59, 26 May 2015
(diff | hist) . .
**(+2,481)** . . Higher Coinductive Types (Finished p-adic integers example) - 16:38, 25 May 2015
(diff | hist) . .
**(+2,296)** . . N Higher Coinductive Types (Created page with "== Idea == The following is rather speculative, and it only represents my (Henning) personal view on what Higher Coinductive Types should be. Since [http://ncatlab.org/nlab/s...") - 08:38, 26 February 2015 (diff | hist) . . (-433) . . Coalgebra (Moved Behavioural Equivalence to own page)
- 07:54, 26 February 2015 (diff | hist) . . (+40) . . m Behavioural Equivalence (current)
- 07:50, 26 February 2015
(diff | hist) . .
**(+667)** . . N Behavioural Equivalence (Created page with "<definition id="behavioural-equivalence"> Suppose that '''C''' is a category with pullbacks and <math>F : \mathbf{C} \to \mathbf{C}</math> a functor. Let <math>c : X \to F X...") - 21:24, 25 February 2015 (diff | hist) . . (+1) . . m Coalgebra (Typo)
- 21:20, 25 February 2015
(diff | hist) . .
**(+2,643)** . . Coalgebra - 14:32, 15 February 2015 (diff | hist) . . (+272) . . Logo (current)
- 14:27, 15 February 2015 (diff | hist) . . (+241) . . N Logo (Created page with "The logo has been created with the basic support of Inkscape for L-systems. As production rules, we used F=AA[--F]+AF where F is the start symbol and A a terminal. The angles...")
- 14:22, 15 February 2015
(diff | hist) . .
**(+2,126)** . . Coalgebra - 13:01, 15 February 2015 (diff | hist) . . (+492) . . How To (current)
- 12:38, 15 February 2015 (diff | hist) . . (+1) . . Main Page (→Contributing)
- 12:38, 15 February 2015
(diff | hist) . .
**(+1,541)** . . N How To (Created page with "== Using the lab notebook == A first starting point is the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] of MediaWiki, which is the same software that [http://w...") - 12:15, 15 February 2015
(diff | hist) . .
**(+1,036)** . . Main Page - 22:54, 11 February 2015 (diff | hist) . . (+332) . . Coalgebra
- 19:48, 11 February 2015 (diff | hist) . . (+232) . . N Coalgebra (Created page with "Let <math>\mathbf{C}</math> be a category and <math>F : \mathbf{C} \to \mathbf{C}</math> an endofunctor on <math>\mathbf{C}</math>. An ''<math>F</math>-coalgebra'' is a morphi...")
- 19:39, 11 February 2015 (diff | hist) . . (-24) . . Main Page