- HIGHER-DIMENSIONAL MODELS OF SOCIAL NETWORKS DAVID I. SPIVAK
- THE BOX MONADS DAVID I. SPIVAK
- SMOOTH CHESS DAVID I. SPIVAK
- IDEAS ON NETWORKS ETC. I HAD WHILE IN PARIS DAVID I. SPIVAK
- A SIMPLE MODEL OF DATABASES DAVID I. SPIVAK
- CHANGING TYPES DAVID I. SPIVAK
- Categorical Information Theory There is currently no coherent and qualitative theory of
- Technical Proposal BAA number: #10-001
- arXiv:hep-ph/0510181v113Oct2005 Anomaly-Free Sets of Fermions
- Presented by: David I. Spivak Categorical Information Theory
- ONTOLOGIES AS STRUCTURED SPACES DAVID I. SPIVAK
- Calculus III and Stokes' Theorem Let A be a real affine space of dimension n and C
- Introduction Constructing derived manifolds
- FUNCTORIAL DATA MIGRATION DAVID I. SPIVAK
- Theorem 0.0.1. There is a fully faithful functor from the category of small multi-categories to the category of database multi-categories.
- A new diagram package (Version 2004-12-08) Michael Barr
- HIGHER-DIMENSIONAL MODELS OF SOCIAL NETWORKS DAVID I. SPIVAK
- Networking academia: Categories as a cross-disciplinary research language
- CHANGING DATATYPES IN SIMPLICIAL DATABASES DAVID I. SPIVAK
- SIMPLICIAL DATABASES DAVID I. SPIVAK
- SIMPLICIAL DATABASES DAVID I. SPIVAK
- SHEAVES AND HOMOTOPY THEORY DANIEL DUGGER
- COMMUTATIVE DIAGRAMS VIA THE DATABASE DAVID I. SPIVAK
- DERIVED SMOOTH MANIFOLDS DAVID I. SPIVAK
- CATEGORIES FOR DATABASES DAVID I. SPIVAK
- Technical Proposal BAA number: #09-001
- INFORMATION TRANSFER IN A NETWORK DAVID I. SPIVAK
- GD 09/01/13 DAVID SPIVAK
- CATEGORICAL FOUNDATIONS FOR ONTOLOGIES AND DAVID I. SPIVAK
- An environment for multicolumn outputy Frank Mittelbach
- ALGEBRAIC DATABASES DAVID I. SPIVAK
- METRIC REALIZATION OF FUZZY SIMPLICIAL SETS DAVID I. SPIVAK
- CATEGORICAL DESCRIPTION OF PETER GATES'S DICTIONARY PATTERN
- ONTOLOGIES AS STRUCTURED SPACES DAVID I. SPIVAK
- Category Theory as a Unifying Database Formalism Database theory developed from mathematical logic and set
- A SET OF RULES FOR LABELING ONTOLOGIES December 5, 2009
- VISUALIZING THE RSA ALGORITHM WITH SIMPLICIAL DAVID I. SPIVAK
- NETWORKS WITH SHARED SPACES SHOULD BE MODELED BY SIMPLICIAL SETS, NOT GRAPHS
- MAPPING SPACES IN QUASI-CATEGORIES DANIEL DUGGER AND DAVID I. SPIVAK
- THE BOX MONADS DAVID I. SPIVAK
- A SET OF RULES FOR LABELING OLOGS Abstract. The following is a set of rules for labeling ologs, written on December 6, 2009.
- Motivation and Basic Theory Tables and Records
- RULED SPACES DAVID I. SPIVAK
- SIMPLICIAL DATABASE AGGREGATION DAVID I. SPIVAK
- Final progress report for ONR grant N000140910466
- METRIC REALIZATION OF FUZZY SIMPLICIAL SETS DAVID I. SPIVAK
- SIMPLICIAL DATABASES DAVID I. SPIVAK
- GROTHENDIECK TOPOLOGIES AS SPECIFICATIONS OF UNIVERSAL EPIMORPHISMS
- A BOHR'S MODEL FOR INFORMATION DAVID I. SPIVAK
- HIGHER-DIMENSIONAL MODELS OF NETWORKS DAVID I. SPIVAK
- INFORMATION AND TOPOSES DAVID I. SPIVAK
- HIGHER-DIMENSIONAL MODELS OF SOCIAL NETWORKS DAVID I. SPIVAK
- THE CATEGORY OF AUTOMATA The following definition, restricted to objects, is [Sipser, Definition 1.5].
- The Comprehensive LATEX Symbol List Scott Pakin
- OLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION
- METRIC REALIZATION OF SIMPLICIAL SETS DAVID I. SPIVAK
- LOCALIC DATABASES DAVID I. SPIVAK
- TikZTikZ && PGFPGF Manual for Version 2.00
- SIMPLICIAL REPRESENTATION OF SET-MEMBERSHIP DAVID I. SPIVAK
- SIMPLICIAL SETS MODEL NETWORKS. DAVID I. SPIVAK
- CATEGORIES FOR INFORMATICS DAVID I. SPIVAK
- MANY CHEERFUL FACTS Presheaf, the cobbler.
- DATA-LOADING FUNCTORS DAVID I. SPIVAK
- Quasi-smooth Derived Manifolds David Isaac Spivak
- RIGIDIFICATION OF QUASI-CATEGORIES DANIEL DUGGER AND DAVID I. SPIVAK
- SCHEDULABILITY OF AN OBLIGATION COMPLEX 1. Introduction
- vs. brittle all vision is to
- Reoccurring patterns in hierarchical protein materials and music: The power of analogies
- INFORMATION PRESENTATION: SCRIBBLES, SYMBOLS, AND DAVID I. SPIVAK
- GENERALIZED RINGED SPACES AND SCHEMES DAVID I. SPIVAK
- Talk with Denise Brehm (scheduled for 2011/11/18 3:15pm) David Spivak, Tristan Giesa Our work on Reoccurring patterns in hierarchical protein materials and music
- BOOKS ET AL. www.sciencemag.org SCIENCE VOL 329 6 AUGUST 2010 629
- SEQUENTIAL SETS DAVID I. SPIVAK
- DATABASE QUERIES AND CONSTRAINTS VIA LIFTING DAVID I. SPIVAK
- Category Theory as a Unifying Database Formalism Database theory developed from mathematical logic and set
- OLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION
