ISAIHS for ct4csist - Githubissues

shouya / thinking-dumps

This repo keeps track of my codes, answers and thinkings when exploring books.

MIT License

30 stars 3 forks source link

ISAIHS for ct4csist #1

Closed shouya closed 9 years ago

shouya commented 9 years ago

issue as a image hosting service for figures/diagrams in this repo

shouya commented 9 years ago

co-prod 1

shouya commented 9 years ago

prod1

shouya commented 9 years ago

prod2

shouya commented 9 years ago

coprod

shouya commented 9 years ago

shouya commented 9 years ago

shouya commented 9 years ago

shouya commented 9 years ago

pasting of pullbacks source: http://www.mathematik.tu-darmstadt.de/~streicher/CTCL.pdf

shouya commented 9 years ago

pullback

shouya commented 9 years ago

cone

shouya commented 9 years ago

a cone

shouya commented 9 years ago

universal cone

shouya commented 9 years ago

limit

shouya commented 9 years ago

prod

shouya commented 9 years ago

shouya commented 9 years ago

pullback

shouya commented 9 years ago

shouya commented 9 years ago

omega algebra

shouya commented 9 years ago

omega algebra a

shouya commented 9 years ago

f-alg homo

shouya commented 9 years ago

nat trans comp 1

shouya commented 9 years ago

nat comp horz 1

shouya commented 9 years ago

nat comp horz 2

shouya commented 9 years ago

nat comp horz 3

shouya commented 9 years ago

nat comp vert 1

shouya commented 9 years ago

shouya commented 9 years ago

finished reading the book, therefore closing this issue.