Commits

Branch selector

 master

User selector

emilyriehl

Datepicker

All time

Commit History

Commits on Oct 29, 2025

• Feat(Logic): basic properties of boolean negation (#31028)

  Show description for c1f6461
  

  3 peoplecommitted
  c1f6461

  Copy full SHA for c1f6461

Commits on Oct 28, 2025

• feat(AlgebraicTopology): the homotopy category functor preserves products (#25780)

  Show description for 9ceda6f
  

  emilyriehl

  and

  digama0

  committed
  9ceda6f

  Copy full SHA for 9ceda6f

Commits on Aug 13, 2025

• feat(algebraic topology): decidable equality on simplex category homs (#28085)

  Show description for 8d33296
  emilyriehl

  committed
  8d33296

  Copy full SHA for 8d33296

Commits on Jul 22, 2025

• Feat(CategoryTheory): terminal categories with an application to hoFunctor (#25781)

  Show description for f1a92a3
  

  4 peoplecommitted
  f1a92a3

  Copy full SHA for f1a92a3

Commits on Jul 7, 2025

• feat(CategoryTheory/Category/Cat): cartesian closed instance on small categories (#25782)

  Show description for 6d68398
  emilyriehl

  committed
  6d68398

  Copy full SHA for 6d68398

Commits on Apr 2, 2025

• feat(Category Theory): unbundled quiver adjunction data (#22443)

  Show description for 164bfe1
  emilyriehl

  committed
  164bfe1

  Copy full SHA for 164bfe1

Commits on Mar 14, 2025

• chore(CategoryTheory): remove local truncated simplicial notation (#22906)

  Show description for 0e29a68
  emilyriehl

  committed
  0e29a68

  Copy full SHA for 0e29a68

Commits on Dec 4, 2024

• feat(AlgebraicTopology/SimplicialSet): StrictSegal simplicial sets are 2-coskeletal (#19057)

  Show description for fa8f175
  

  emilyriehl

  and

  joelriou

  committed
  fa8f175

  Copy full SHA for fa8f175

Commits on Nov 27, 2024

• feat(CategoryTheory): coskeletal simplicial objects (#19492)

  Show description for db422a2
  emilyriehl

  committed
  db422a2

  Copy full SHA for db422a2

Commits on Nov 14, 2024

• feat(AlgebraicTopology/SimplicialSet): paths and the strict segal condition (#18499)

  Show description for 76f52eb
  emilyriehl

  committed
  76f52eb

  Copy full SHA for 76f52eb

• feat(AlgebraicTopology/SimplicialSet): applications of the simplicial identities (#18743)

  Show description for 8b6dfe3
  emilyriehl

  committed
  8b6dfe3

  Copy full SHA for 8b6dfe3

Commits on Nov 9, 2024

• feat(CategoryTheory): codiscrete categories (#17174)

  Show description for 7fc8954
  

  3 peoplecommitted
  7fc8954

  Copy full SHA for 7fc8954

Commits on Oct 10, 2024

• chore(AlgebraicTopology): moved some files into SimplicialSet (#17620)

  Show description for 061a5b1
  emilyriehl

  committed
  061a5b1

  Copy full SHA for 061a5b1

Commits on Oct 7, 2024

• chore(CategoryTheory/Adjunction): deduplicate API for uniqueness of adjoints (#17113)

  Show description for 40436c4
  

  emilyriehl

  and

  dagurtomas

  committed
  40436c4

  Copy full SHA for 40436c4

Commits on Sep 26, 2024

• feat(CategoryTheory): the internal hom with the monoidal unit is the identity (#17065)

  Show description for 3488c1c
  emilyriehl

  committed
  3488c1c

  Copy full SHA for 3488c1c

Commits on Sep 25, 2024

• feat(CategoryTheory): simps for `conjugateEquiv` plus computable `conjugateIsoEquiv` (#17108)

  Show description for 4591e55
  emilyriehl

  committed
  4591e55

  Copy full SHA for 4591e55

Commits on Jul 31, 2024

• chore: split conj into two files to streamline imports (#15300)

  Show description for f9821a6
  emilyriehl

  committed
  f9821a6

  Copy full SHA for f9821a6

Commits on Jul 16, 2024

• feat(CategoryTheory): Cat-valued functors induced by passing to Over/Under categories (#14656)

  Show description for 2070757
  emilyriehl

  committed
  2070757

  Copy full SHA for 2070757

Commits on Jul 10, 2024

• feat (Category Theory): redefine and extend mates (#13840)

  Show description for 0d7d128
  emilyriehl

  committed
  0d7d128

  Copy full SHA for 0d7d128

Commits on Jun 5, 2024

• feat(CategoryTheory): transposition of commutative squares across an adjunction (#13506)

  Show description for bc7ac89
  emilyriehl

  committed
  bc7ac89

  Copy full SHA for bc7ac89

Commits on May 16, 2024

• feat(CategoryTheory): the adjunction between Over.map and Over.baseChange (#12927)

  Show description for fafe8ea
  emilyriehl

  committed
  fafe8ea

  Copy full SHA for fafe8ea