User contributions for ComputScientist
A user with 307 edits. Account created on 16 March 2009.
26 May 2024
- 06:2906: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.
22 April 2023
- 05:5805: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:5505: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:5405:54, 22 April 2023 diff hist +52 m Mike Lynch (businessman) →Awards, honours and media coverage: fix broken link
12 September 2021
- 22:5322:53, 12 September 2021 diff hist +492 Talk:Darktrace →Talk
- 22:5022:50, 12 September 2021 diff hist +6 Darktrace unclear which cambridge university mathematicians are involved. none listed on company website.
20 May 2019
- 06:1206:12, 20 May 2019 diff hist +159 Total order synonym: full order
29 December 2018
- 08:1408: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:2806: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:2909: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:0113:01, 4 December 2014 diff hist −17 Morita equivalence →Examples: notation
- 12:5812:58, 4 December 2014 diff hist +146 Strong monad note about closed categories
6 October 2014
- 07:5307:53, 6 October 2014 diff hist +16 Monad (category theory) →Examples: clarify union as multiplication
11 September 2014
- 08:3208:32, 11 September 2014 diff hist +16 Mike Lynch (businessman) intro paragraph (see talk page)
8 September 2014
4 September 2014
1 September 2014
- 12:0612: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:5518:55, 26 August 2014 diff hist +41 Mike Lynch (businessman) Rewording intro paragraph according to talk page
9 August 2014
- 05:4705:47, 9 August 2014 diff hist +623 Talk:Mike Lynch (businessman) →Intro paragraph: new section
- 05:3905:39, 9 August 2014 diff hist +923 Talk:Mike Lynch (businessman) →Dispute with HP
7 August 2014
- 14:1214:12, 7 August 2014 diff hist +17 Mike Lynch (businessman) Reworded intro paragraph.
- 14:0914:09, 7 August 2014 diff hist +304 Talk:Mike Lynch (businessman) →Dispute with HP: new section
- 14:0314: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:1315:13, 6 August 2014 diff hist +194 Talk:Combinatory logic →Is variable a combinatory term?
- 15:1215:12, 6 August 2014 diff hist −16 Combinatory logic fixed intro sentence (see talk page)
- 05:2005: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:1705: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:5614:56, 5 August 2014 diff hist +429 Mike Lynch (businessman) →Dispute with Hewlett-Packard: update on the dispute
- 14:4114: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:2214:22, 5 August 2014 diff hist +28 N Coherence space ←Redirected page to Coherent space current
31 July 2014
- 14:5014: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:5312:53, 31 July 2014 diff hist 0 m *-autonomous category →Properties
- 12:5112: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:0509:05, 28 July 2014 diff hist +121 BCK algebra →BCI algebra: informal understanding
22 July 2014
- 12:2812: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:1609: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:4213:42, 16 May 2013 diff hist −50 Continuation-passing style Removed false statement "CPS is equivalent to SSA".
28 December 2012
- 20:1020:10, 28 December 2012 diff hist +174 Talk:Subcategory →Definition incomplete?
- 20:0920:09, 28 December 2012 diff hist +131 Subcategory →Formal definition
15 December 2012
- 14:4814:48, 15 December 2012 diff hist +212 Full and faithful functors clarification about injectivity on objects
- 14:4514:45, 15 December 2012 diff hist +358 Subcategory →Embeddings: Some clarifications.
- 14:4314:43, 15 December 2012 diff hist +40 N Full and faithful functor Created new redirect page
23 November 2012
- 21:4021:40, 23 November 2012 diff hist +11 Strong monad use \mathcal C as the name of the category
8 November 2012
- 09:3909: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:0609: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:4812: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:2915: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:0219:02, 30 August 2012 diff hist +429 Talk:Complete partial order →Is this page about w-cpos?: new section
- 18:1318:13, 30 August 2012 diff hist +102 Grothendieck universe Undid revision 509446405 by 79.17.72.210 (talk) unsure why that revision was made
