Tree: bd4aba53b7

master

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'bd4aba53b7'

${ noResults }

Commit Graph

1 Commits (bd4aba53b797e0714da2bd870774763fc066fe7e)

Author	SHA1	Message	Date
Joshua Moerman	38e9dcf737	Continues with Kan extensions. Adds stub about sing cochain. Proves (A,K) to be Quillen Pair (adds diagrams).	11 years ago