milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
model-independent-proof-of-colimit-formula-for-left-kan-extensions
model-independent-proof-of-colimit-formula-for-left-kan-extensions
http://mathoverflow.net/questions/223722/model-independent-proof-of-colimit-formula-for-left-kan-extensions
Kan extension
Link from a Wikipage to an external page
model-independent-proof-of-colimit-formula-for-left-kan-extensions
http://mathoverflow.net/questions/223722/model-independent-proof-of-colimit-formula-for-left-kan-extensions