Decomposition-space slices are toposes Document Details Document Type Pub Defense Publication Publication Date Mar 12, 2020 Source ID 10.1090/proc/14834 Entities People David Spivak Joachim Kock Organizations Air Force Office of Scientific Research Tags Technology Areas Space