9032676
/
category-research
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
16 Commits
1 Branch
68 KiB
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

16 Commits (master)
 

Author SHA1 Message Date
  9032676 44c36bda8e Split a NaturalIsomorphism type signature to multi-lines 1 year ago
  9032676 d9d5997f31 Add concrete homomorphisms and notations on category 1 year ago
  9032676 43c73bf59c Update CommutativeSquare syntaxes 1 year ago
  9032676 354a89eac2 Add Pullback & Update Limits.Core 1 year ago
  9032676 f268596332 Update universal things 1 year ago
  9032676 22bf0526fa Update comments 1 year ago
  9032676 493b7529d0 Add Properties.Universal 1 year ago
  9032676 481f9d49a6 Update Groups.Core & Objects.Product 1 year ago
  9032676 0d9fa06959 Update structure 1 year ago
  9032676 5ac176fdd9 Huge updates 1 year ago
  9032676 33cf4e8508 Update Limits.Core 1 year ago
  9032676 c8102f5697 Update Comma & Cone & Cocone 1 year ago
  9032676 0b5cdf86b4 Update 1 year ago
  9032676 15c1675b37 Update YonedaLemma and some definition of other concept 2 years ago
  9032676 05f0c9b54a update README.md 2 years ago
  9032676 34747ca042 first commit 2 years ago