Chun Ding
  • Posts
  • Categories
  • Login
  • Home
  • Chun Ding
  • Chun Ding

Posts

Subscribe
Subscribe

Please enter your email address below. You will receive an email notification when the author publishes a new post.

    • Chun Ding
    • 8 Jun 2025
      • created 8 Jun 2025 06:31
      • updated 8 Jun 2025 07:25

    Generating my first text with a language model

    • Chun Ding
    • 2 Jun 2025
      • created 2 Jun 2025 11:28
      • updated 4 Jun 2025 00:58
    • 1 category
      • Functor Network

    New Feature: Lean Language Syntax Highlighting Is Now Supported!

    • Chun Ding
    • 1 Jun 2025
      • created 1 Jun 2025 23:58
      • updated 2 Jun 2025 10:52
    • 1 category
      • Theorem Proving in Lean 4

    Section 8 Solutions – Theorem Proving in Lean 4

    • Chun Ding
    • 30 May 2025
      • created 30 May 2025 14:12
      • updated 2 Jun 2025 18:38
    • 1 category
      • Theorem Proving in Lean 4

    Section 7 Solutions – Theorem Proving in Lean 4

    • Chun Ding
    • 23 May 2025
      • created 23 May 2025 08:00
      • updated 2 Jun 2025 10:53
    • 1 category
      • Theorem Proving in Lean 4

    Section 5 Solutions – Theorem Proving in Lean 4

    • Chun Ding
    • 20 May 2025
      • created 20 May 2025 22:59
      • updated 2 Jun 2025 10:54
    • 1 category
      • Theorem Proving in Lean 4

    Section 4 Solutions – Theorem Proving in Lean 4

    • Chun Ding
    • 20 May 2025
      • created 20 May 2025 07:10
      • updated 2 Jun 2025 10:54
    • 1 category
      • Theorem Proving in Lean 4

    Section 3 Solutions – Theorem Proving in Lean 4

    • Chun Ding
    • 5 Mar 2025
      • created 5 Mar 2025 14:14
      • updated 7 Mar 2025 10:47
    • 1 category
      • Topology

    Inductive limit topology on

    • Chun Ding
    • 21 Dec 2024
      • created 21 Dec 2024 10:33
      • updated 8 Apr 2025 14:14

    A vector lattice norm is alwalys order continuous on

    • Chun Ding
    • 29 Nov 2024
      • created 29 Nov 2024 02:00
      • updated 10 Mar 2025 13:56

    Order convergence in an order ideal

    • Chun Ding
    • 22 Aug 2024
      • created 22 Aug 2024 07:36
      • updated 19 Apr 2025 08:43

    Solutions to some exercises in Murphy’s C*-algebra and Operator Theory

    • Chun Ding
    • 9 Aug 2024
      • created 9 Aug 2024 13:22
      • updated 5 Nov 2024 05:19

    Zariski Topology

    • Chun Ding
    • 8 Aug 2024
      • created 8 Aug 2024 13:32
      • updated 27 Dec 2024 13:31
    • 1 category
      • Functor Network

    Functor Network turns one year old!

    • Chun Ding
    • 27 May 2024
      • created 27 May 2024 05:46
      • updated 11 Jun 2024 21:19

    Compactness of integral operators

    • Chun Ding
    • 24 May 2024
      • created 24 May 2024 07:33
      • updated 29 Jun 2024 14:42

    Approximation by simple functions on a product σ -algebra

    • Chun Ding
    • 26 Dec 2023
      • created 26 Dec 2023 23:51
      • updated 14 Feb 2025 07:29

    Exercises on tensor product

    • Chun Ding
    • 7 Nov 2023
      • created 7 Nov 2023 10:05
      • updated 26 Nov 2023 14:17

    may fail to be a von Neumann algebra

    • Chun Ding
    • 16 Oct 2023
      • created 16 Oct 2023 19:56
      • updated 3 Jun 2025 09:04

    (almost) interval preserving maps preserve order continuity

    • Chun Ding
    • 15 Oct 2023
      • created 15 Oct 2023 09:23
      • updated 6 Jun 2025 02:14

    Dye’s theorem for C*-algebras

    • Chun Ding
    • 10 Sep 2023
      • created 10 Sep 2023 21:30
      • updated 8 Feb 2024 03:36
    • 1 category
      • Functor Network

    Inaugural release of Functor Network

  • Network
  • Privacy
  • Feedback