Tree: b90da1b1d0

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'b90da1b1d0'

${ noResults }

Commit Graph

2 Commits (b90da1b1d0720450a5ed23567f2155e0987980ae)

Author	SHA1	Message	Date
Joshua Moerman	1b8ae2ff33	Fixes some titles and cites and typos	10 years ago
Joshua Moerman	38e9dcf737	Continues with Kan extensions. Adds stub about sing cochain. Proves (A,K) to be Quillen Pair (adds diagrams).	11 years ago