MA

Christopher Hoskin

@mans0954

Joined June 2013

14 Followers

2 Following

AI Insights & Achievements

27/ 100

Consistency

12 day streak.

Veteran

Coding for 13 years.

Workhorse

2402 contributions this year.

Profile README

Mathematics

Publications
- M. Alqurashi, N.A. Altwaijry, C.M. Edwards, and C.S. Hoskin, The Banach-Lie *-algebra of multiplication operators on a W*-algebra, Asian-Eur. J. Math., 4(2), (2011), 235--261.
- C.M. Edwards, F.J. Fernández-Polo, C.S. Hoskin, and A.M. Peralta, On the facial structure of the unit ball in a JB*-triple, J. Reine Angew. Math. 641, (2010), 123--144.
- C.M. Edwards and C.S. Hoskin, Central kernels of subspaces of JB*-triples, J. Math. Anal. Appl., 332(2), (2007), 947--964.
- C.M. Edwards and C.S. Hoskin, The central kernel of the Peirce-one space, Arch. Math. (Basel), 81(4), (2003), 416--421.
Main contributions to Mathlib
- Order
  - Scott Continuity
  - Complete Partial Orders
- Topologies on a Preorder
- Functional Analysis
- Algebra
Significant refactors
- The Strong Dual
  - https://github.com/leanprover-community/mathlib4/pull/28726
  - https://github.com/leanprover-community/mathlib4/pull/27699
- split Analysis/Convex/Normed into smaller files
- Unify concepts of Scott Topology
- Sesquilinear Forms to Sesquilinear Maps
  - https://github.com/leanprover-community/mathlib4/pull/14988
  - https://github.com/leanprover-community/mathlib4/pull/12547
  - https://github.com/leanprover-community/mathlib4/pull/12132
  - https://github.com/leanprover-community/mathlib4/pull/12124
  - https://github.com/leanprover-community/mathlib4/pull/12122
  - https://github.com/leanprover-community/mathlib4/pull/12078
  - https://github.com/leanprover-community/mathlib4/pull/11280
  - https://github.com/leanprover-community/mathlib4/pull/11278
  - https://github.com/leanprover-community/mathlib4/pull/11097
- Quadratic Forms to Quadratic Maps
  - https://github.com/leanprover-community/mathlib4/pull/7569
- Non-unital, non-associative algebras
  - https://github.com/leanprover-community/mathlib4/pull/13089
  - https://github.com/leanprover-community/mathlib4/pull/12924
  - https://github.com/leanprover-community/mathlib4/pull/12938
All Mathlib PRs
- Mathlib4
- Mathlib3

Public Repos

96

Total Stars

38

Total Forks

14

Public Gists

1

Top Languages

Based on primary language of repositories

Recent Activity

Contribution Graph

Activity Timeline

Commits and contributions grouped by day, week, or month.

High productivity periods

Most active day: January 12th, 2026 • 1 contributions

Most active week: Jan 12–Jan 18 • 1 contributions

Most active month: May 2025 • 440 contributions

Pushed to main at overleaf/overleaf

February 3rd, 2026 9:07 AM

Pushed to main at overleaf/overleaf

February 2nd, 2026 9:06 AM

Pushed to main at overleaf/overleaf

January 30th, 2026 9:06 AM

Pushed to main at overleaf/overleaf

January 29th, 2026 9:06 AM

Pushed to main at overleaf/overleaf

January 28th, 2026 9:08 AM

Pushed to main at overleaf/overleaf

January 27th, 2026 9:07 AM

Pushed to main at overleaf/overleaf

January 26th, 2026 9:06 AM

Pushed to main at overleaf/overleaf

January 23rd, 2026 9:06 AM

Pushed to main at overleaf/overleaf

January 22nd, 2026 9:07 AM

Pushed to main at overleaf/overleaf

January 21st, 2026 9:06 AM

GitHub Analytics

Christopher Hoskin

Consistency

Veteran

Workhorse

Mathematics