A user with 307 edits. Account created on 16 March 2009.
26 May 2024
- 06:29 06:29, 26 May 2024 diff hist −44 Penrose graphical notation deleted "ZX is widely used in industry"; not relevant; not entirely true in my understanding; no citation given. current
22 April 2023
- 05:58 05:58, 22 April 2023 diff hist −65 Mike Lynch (businessman) remove council for science and technology from intro as no longer a member. It's still mentioned further down.
- 05:55 05:55, 22 April 2023 diff hist −276 Mike Lynch (businessman) →Awards, honours and media coverage: FT link is dead, nothing on wayback machine, so deleting quote
- 05:54 05:54, 22 April 2023 diff hist +52 m Mike Lynch (businessman) →Awards, honours and media coverage: fix broken link
12 September 2021
- 22:53 22:53, 12 September 2021 diff hist +492 Talk:Darktrace →Talk
- 22:50 22:50, 12 September 2021 diff hist +6 Darktrace unclear which cambridge university mathematicians are involved. none listed on company website.
20 May 2019
- 06:12 06:12, 20 May 2019 diff hist +159 Total order synonym: full order
29 December 2018
- 08:14 08:14, 29 December 2018 diff hist −14 Metropolis–Hastings algorithm →Formal derivation: minor clarification to why the Metropolis choice of A is reasonable
4 August 2015
- 06:28 06:28, 4 August 2015 diff hist +38 Presheaf (category theory) Moved the focus onto Set-valued presheaves. I don't think "V-valued presheaf" is widespread terminology
30 July 2015
- 09:29 09:29, 30 July 2015 diff hist −101 Functor category Undid revision 669682203 by 74.107.104.130 ( talk) I don't think this is accepted terminology, and wikipedia shouldn't make it so. I would only use this terminology if C is D-enriched.
4 December 2014
- 13:01 13:01, 4 December 2014 diff hist −17 Morita equivalence →Examples: notation
- 12:58 12:58, 4 December 2014 diff hist +146 Strong monad note about closed categories
6 October 2014
- 07:53 07:53, 6 October 2014 diff hist +16 Monad (category theory) →Examples: clarify union as multiplication
11 September 2014
- 08:32 08:32, 11 September 2014 diff hist +16 Mike Lynch (businessman) intro paragraph (see talk page)
8 September 2014
- 14:33 14:33, 8 September 2014 diff hist +1,048 Talk:Mike Lynch (businessman) →Intro paragraph
4 September 2014
- 10:02 10:02, 4 September 2014 diff hist +342 Talk:Law of trichotomy →proof?
1 September 2014
- 12:06 12:06, 1 September 2014 diff hist −31 Lambda calculus Undid revision 623228769 by Nerfer ( talk) Please explain your concerns on the talk page (or just try to improve the page). I don't think "too long & messy talk page" justifies the "technical" template.
26 August 2014
- 18:55 18:55, 26 August 2014 diff hist +41 Mike Lynch (businessman) Rewording intro paragraph according to talk page
9 August 2014
- 05:47 05:47, 9 August 2014 diff hist +623 Talk:Mike Lynch (businessman) →Intro paragraph: new section
- 05:39 05:39, 9 August 2014 diff hist +923 Talk:Mike Lynch (businessman) →Dispute with HP
7 August 2014
- 14:12 14:12, 7 August 2014 diff hist +17 Mike Lynch (businessman) Reworded intro paragraph.
- 14:09 14:09, 7 August 2014 diff hist +304 Talk:Mike Lynch (businessman) →Dispute with HP: new section
- 14:03 14:03, 7 August 2014 diff hist −900 Mike Lynch (businessman) →Dispute with Hewlett-Packard: Trying to keep this brief (see talk page)
6 August 2014
- 15:13 15:13, 6 August 2014 diff hist +194 Talk:Combinatory logic →Is variable a combinatory term?
- 15:12 15:12, 6 August 2014 diff hist −16 Combinatory logic fixed intro sentence (see talk page)
- 05:20 05:20, 6 August 2014 diff hist −207 Mike Lynch (businessman) →Other Interests: British Library and NESTA links no longer work. (I don't think they're that notable either, maybe should be removed)
- 05:17 05:17, 6 August 2014 diff hist −11 Mike Lynch (businessman) →Other Interests: I think previous activity should come in a separate paragraph to current activity, if at all. I still think it's too much like a cv
5 August 2014
- 14:56 14:56, 5 August 2014 diff hist +429 Mike Lynch (businessman) →Dispute with Hewlett-Packard: update on the dispute
- 14:41 14:41, 5 August 2014 diff hist −737 Mike Lynch (businessman) →Other Interests: Removed BBC Board, British Library, NESTA as no longer a member of these boards. We could have a list of previous responsibilities but this isn't supposed to be a cv
- 14:22 14:22, 5 August 2014 diff hist +28 N Coherence space ←Redirected page to Coherent space current
31 July 2014
- 14:50 14:50, 31 July 2014 diff hist −308 Category of finite-dimensional Hilbert spaces →Properties: Removed claim that "Hilbert spaces are ''completely'' described by the structure of a dagger compact category" since I don't think it is true.
- 12:53 12:53, 31 July 2014 diff hist 0 m *-autonomous category →Properties
- 12:51 12:51, 31 July 2014 diff hist −117 *-autonomous category →Properties: Fixed remark about compact closed categories. Reference: Category theory for linear logicians by Blute and Scott
28 July 2014
- 09:05 09:05, 28 July 2014 diff hist +121 BCK algebra →BCI algebra: informal understanding
22 July 2014
- 12:28 12:28, 22 July 2014 diff hist −111 Linear logic →Sequent calculus presentation: Removed comment "We could accomplish the same thing using multisets". From the perspective of proof theory this is not really true, it is not really the "same thing".
4 December 2013
3 October 2013
- 09:16 09:16, 3 October 2013 diff hist −7 Extranatural transformation I don't think this has anything particular to do with _higher_ category theory.
16 May 2013
- 13:42 13:42, 16 May 2013 diff hist −50 Continuation-passing style Removed false statement "CPS is equivalent to SSA".
28 December 2012
- 20:10 20:10, 28 December 2012 diff hist +174 Talk:Subcategory →Definition incomplete?
- 20:09 20:09, 28 December 2012 diff hist +131 Subcategory →Formal definition
15 December 2012
- 14:48 14:48, 15 December 2012 diff hist +212 Full and faithful functors clarification about injectivity on objects
- 14:45 14:45, 15 December 2012 diff hist +358 Subcategory →Embeddings: Some clarifications.
- 14:43 14:43, 15 December 2012 diff hist +40 N Full and faithful functor Created new redirect page
23 November 2012
- 21:40 21:40, 23 November 2012 diff hist +11 Strong monad use \mathcal C as the name of the category
8 November 2012
- 09:39 09:39, 8 November 2012 diff hist +7 Preorder →Formal definition: Good citation requested for "proset". I can only find this terminology in a small handful of papers.
25 October 2012
- 09:06 09:06, 25 October 2012 diff hist +105 Power set Undid revision 519553029 by 193.14.40.221. I don't think this would ever need arbitrarily sized integers, since S and n are fixed from the outset. But I agree the discussion can be abbreviated, which I've done now.
19 September 2012
- 12:48 12:48, 19 September 2012 diff hist +120 Complete partial order Restoring this page to cover dcpos and wcpos, since "cpo" can mean either and in practice they're closely connected notions -- see talk page.
5 September 2012
- 15:29 15:29, 5 September 2012 diff hist −32 Operational semantics Undid revision 510753741 by Jvveiga ( talk) The idea is that --> is really two relations: one between configurations and configurations, and one between configs and stores.
30 August 2012
- 19:02 19:02, 30 August 2012 diff hist +429 Talk:Complete partial order →Is this page about w-cpos?: new section
- 18:13 18:13, 30 August 2012 diff hist +102 Grothendieck universe Undid revision 509446405 by 79.17.72.210 ( talk) unsure why that revision was made
A user with 307 edits. Account created on 16 March 2009.
26 May 2024
- 06:29 06:29, 26 May 2024 diff hist −44 Penrose graphical notation deleted "ZX is widely used in industry"; not relevant; not entirely true in my understanding; no citation given. current
22 April 2023
- 05:58 05:58, 22 April 2023 diff hist −65 Mike Lynch (businessman) remove council for science and technology from intro as no longer a member. It's still mentioned further down.
- 05:55 05:55, 22 April 2023 diff hist −276 Mike Lynch (businessman) →Awards, honours and media coverage: FT link is dead, nothing on wayback machine, so deleting quote
- 05:54 05:54, 22 April 2023 diff hist +52 m Mike Lynch (businessman) →Awards, honours and media coverage: fix broken link
12 September 2021
- 22:53 22:53, 12 September 2021 diff hist +492 Talk:Darktrace →Talk
- 22:50 22:50, 12 September 2021 diff hist +6 Darktrace unclear which cambridge university mathematicians are involved. none listed on company website.
20 May 2019
- 06:12 06:12, 20 May 2019 diff hist +159 Total order synonym: full order
29 December 2018
- 08:14 08:14, 29 December 2018 diff hist −14 Metropolis–Hastings algorithm →Formal derivation: minor clarification to why the Metropolis choice of A is reasonable
4 August 2015
- 06:28 06:28, 4 August 2015 diff hist +38 Presheaf (category theory) Moved the focus onto Set-valued presheaves. I don't think "V-valued presheaf" is widespread terminology
30 July 2015
- 09:29 09:29, 30 July 2015 diff hist −101 Functor category Undid revision 669682203 by 74.107.104.130 ( talk) I don't think this is accepted terminology, and wikipedia shouldn't make it so. I would only use this terminology if C is D-enriched.
4 December 2014
- 13:01 13:01, 4 December 2014 diff hist −17 Morita equivalence →Examples: notation
- 12:58 12:58, 4 December 2014 diff hist +146 Strong monad note about closed categories
6 October 2014
- 07:53 07:53, 6 October 2014 diff hist +16 Monad (category theory) →Examples: clarify union as multiplication
11 September 2014
- 08:32 08:32, 11 September 2014 diff hist +16 Mike Lynch (businessman) intro paragraph (see talk page)
8 September 2014
- 14:33 14:33, 8 September 2014 diff hist +1,048 Talk:Mike Lynch (businessman) →Intro paragraph
4 September 2014
- 10:02 10:02, 4 September 2014 diff hist +342 Talk:Law of trichotomy →proof?
1 September 2014
- 12:06 12:06, 1 September 2014 diff hist −31 Lambda calculus Undid revision 623228769 by Nerfer ( talk) Please explain your concerns on the talk page (or just try to improve the page). I don't think "too long & messy talk page" justifies the "technical" template.
26 August 2014
- 18:55 18:55, 26 August 2014 diff hist +41 Mike Lynch (businessman) Rewording intro paragraph according to talk page
9 August 2014
- 05:47 05:47, 9 August 2014 diff hist +623 Talk:Mike Lynch (businessman) →Intro paragraph: new section
- 05:39 05:39, 9 August 2014 diff hist +923 Talk:Mike Lynch (businessman) →Dispute with HP
7 August 2014
- 14:12 14:12, 7 August 2014 diff hist +17 Mike Lynch (businessman) Reworded intro paragraph.
- 14:09 14:09, 7 August 2014 diff hist +304 Talk:Mike Lynch (businessman) →Dispute with HP: new section
- 14:03 14:03, 7 August 2014 diff hist −900 Mike Lynch (businessman) →Dispute with Hewlett-Packard: Trying to keep this brief (see talk page)
6 August 2014
- 15:13 15:13, 6 August 2014 diff hist +194 Talk:Combinatory logic →Is variable a combinatory term?
- 15:12 15:12, 6 August 2014 diff hist −16 Combinatory logic fixed intro sentence (see talk page)
- 05:20 05:20, 6 August 2014 diff hist −207 Mike Lynch (businessman) →Other Interests: British Library and NESTA links no longer work. (I don't think they're that notable either, maybe should be removed)
- 05:17 05:17, 6 August 2014 diff hist −11 Mike Lynch (businessman) →Other Interests: I think previous activity should come in a separate paragraph to current activity, if at all. I still think it's too much like a cv
5 August 2014
- 14:56 14:56, 5 August 2014 diff hist +429 Mike Lynch (businessman) →Dispute with Hewlett-Packard: update on the dispute
- 14:41 14:41, 5 August 2014 diff hist −737 Mike Lynch (businessman) →Other Interests: Removed BBC Board, British Library, NESTA as no longer a member of these boards. We could have a list of previous responsibilities but this isn't supposed to be a cv
- 14:22 14:22, 5 August 2014 diff hist +28 N Coherence space ←Redirected page to Coherent space current
31 July 2014
- 14:50 14:50, 31 July 2014 diff hist −308 Category of finite-dimensional Hilbert spaces →Properties: Removed claim that "Hilbert spaces are ''completely'' described by the structure of a dagger compact category" since I don't think it is true.
- 12:53 12:53, 31 July 2014 diff hist 0 m *-autonomous category →Properties
- 12:51 12:51, 31 July 2014 diff hist −117 *-autonomous category →Properties: Fixed remark about compact closed categories. Reference: Category theory for linear logicians by Blute and Scott
28 July 2014
- 09:05 09:05, 28 July 2014 diff hist +121 BCK algebra →BCI algebra: informal understanding
22 July 2014
- 12:28 12:28, 22 July 2014 diff hist −111 Linear logic →Sequent calculus presentation: Removed comment "We could accomplish the same thing using multisets". From the perspective of proof theory this is not really true, it is not really the "same thing".
4 December 2013
3 October 2013
- 09:16 09:16, 3 October 2013 diff hist −7 Extranatural transformation I don't think this has anything particular to do with _higher_ category theory.
16 May 2013
- 13:42 13:42, 16 May 2013 diff hist −50 Continuation-passing style Removed false statement "CPS is equivalent to SSA".
28 December 2012
- 20:10 20:10, 28 December 2012 diff hist +174 Talk:Subcategory →Definition incomplete?
- 20:09 20:09, 28 December 2012 diff hist +131 Subcategory →Formal definition
15 December 2012
- 14:48 14:48, 15 December 2012 diff hist +212 Full and faithful functors clarification about injectivity on objects
- 14:45 14:45, 15 December 2012 diff hist +358 Subcategory →Embeddings: Some clarifications.
- 14:43 14:43, 15 December 2012 diff hist +40 N Full and faithful functor Created new redirect page
23 November 2012
- 21:40 21:40, 23 November 2012 diff hist +11 Strong monad use \mathcal C as the name of the category
8 November 2012
- 09:39 09:39, 8 November 2012 diff hist +7 Preorder →Formal definition: Good citation requested for "proset". I can only find this terminology in a small handful of papers.
25 October 2012
- 09:06 09:06, 25 October 2012 diff hist +105 Power set Undid revision 519553029 by 193.14.40.221. I don't think this would ever need arbitrarily sized integers, since S and n are fixed from the outset. But I agree the discussion can be abbreviated, which I've done now.
19 September 2012
- 12:48 12:48, 19 September 2012 diff hist +120 Complete partial order Restoring this page to cover dcpos and wcpos, since "cpo" can mean either and in practice they're closely connected notions -- see talk page.
5 September 2012
- 15:29 15:29, 5 September 2012 diff hist −32 Operational semantics Undid revision 510753741 by Jvveiga ( talk) The idea is that --> is really two relations: one between configurations and configurations, and one between configs and stores.
30 August 2012
- 19:02 19:02, 30 August 2012 diff hist +429 Talk:Complete partial order →Is this page about w-cpos?: new section
- 18:13 18:13, 30 August 2012 diff hist +102 Grothendieck universe Undid revision 509446405 by 79.17.72.210 ( talk) unsure why that revision was made