Jason Gross

icon indicating a website link http://people.csail.mit.edu/jgross/ icon indicating an email [email protected]

icon company Machine Intelligence Research Institute icon location Berkeley, California, United States

Results 540 issues of Jason Gross

Port GrothendieckFunctorial

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/GrothendieckFunctorial.v?at=default

Port subobject classifier

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/SubobjectClassifier.v?at=default

Port graphs from catdb

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Graph.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/GraphTranslation.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/ComputableGraphCategory.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Graphs.v?at=default

Port LimitFunctorTheorems, InducedLimitFunctors

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/LimitFunctorTheorems.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/InducedLimitFunctors.v?at=default

Port limits, equalizer, coends, products

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Limits.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/LimitFunctors.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Equalizer.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/EqualizerFunctor.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Pullback.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/PullbackFunctor.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Products.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/ProductFunctors.v?at=default

Port group from catdb

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Group.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/GroupCategory.v?at=default

Port Correspondences from catb

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/Correspondences.v?at=default

Port (semi)simplicial sets

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/SimplicialSets.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/SemiSimplicialSets.v?at=default

Port subcategory functors

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/SigTInducedFunctors.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/SigTSigInducedFunctors.v?at=default

Port comma category functors

https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/CommaCategoryProjectionFunctors.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/CommaCategoryFunctors.v?at=default https://bitbucket.org/JasonGross/catdb/src/4eb6407c6ca3200bebefaa3a1834d05c49b01846/CommaCategoryFunctorProperties.v?at=default