Author — Jon Awbrey

Jon Awbrey has contributed to 90 nLab pages.

precursors | 09:40:09, August 16 2019 |

differential propositional calculus | 20:00:21, August 04 2019 |

differential logic | 19:54:24, August 04 2019 |

logical graph | 16:00:19, June 14 2019 |

Jon Awbrey | 10:00:22, June 12 2019 |

Riffs and Rotes | 10:32:59, August 31 2014 |

Riffs and Rotes | 10:32:59, August 31 2014 |

Riffs and Rotes | 10:32:59, August 31 2014 |

precursors | 10:32:49, August 31 2014 |

inquiry | 10:32:40, August 31 2014 |

inquiry | 10:32:40, August 31 2014 |

inquiry driven system | 10:32:40, August 31 2014 |

sign relation | 10:32:40, August 31 2014 |

differential logic | 10:32:40, August 31 2014 |

differential propositional calculus | 10:32:40, August 31 2014 |

Peirce's logic of information | 10:32:40, August 31 2014 |

semiotic information | 10:32:40, August 31 2014 |

cactus language | 10:32:40, August 31 2014 |

semiotic equivalence relation | 10:32:40, August 31 2014 |

praeclarum theorema | 10:32:40, August 31 2014 |

minimal negation operator | 10:32:40, August 31 2014 |

hypostatic abstraction | 10:32:40, August 31 2014 |

continuous predicate | 10:32:40, August 31 2014 |

logical graph | 10:32:39, August 31 2014 |

Riffs and Rotes | 10:32:39, August 31 2014 |

multigrade operator | 10:32:39, August 31 2014 |

parametric operator | 10:32:39, August 31 2014 |

propositions as types in combinatory algebra | 10:32:39, August 31 2014 |

propositional equation reasoning system | 10:32:39, August 31 2014 |

Jon Awbrey | 10:32:39, August 31 2014 |

- 2009 August changes
- 2009 September changes
- action functional
- adjunction
- affine scheme
- algebraic approaches to differential calculus
- boolean domain
- boolean function
- boolean-valued function
- bordism categories following Stolz-Teichner
- cactus language
- cartesian closed category
- category theory
- characteristic function
- Charles Sanders Peirce
- choice operator
- continuous predicate
- cube
- differential
- differential form
- differential geometry
- differential logic
- differential propositional calculus
- Discrete causal spaces
- equivalence relation
- exterior differential system
- factorization algebra
- FAQ
- fiber
- generalized element
- global element
- graph
- graph theory > history
- higher-order logic
- HomePage
- hyperstructure
- hypostatic abstraction
- infinitesimal neighbour > history
- infinitesimal object
- information geometry
- inquiry
- inquiry driven system
- inquiry driven system > history
- Jon Awbrey
- Kan fibration
- logic
- logical graph
- math blogs
- microlinear space
- minimal negation operator
- modular form
- multigrade operator
- multispan
- negative thinking
- parametric operator
- partition function
- Peirce's law
- Peirce's logic of information
- praeclarum theorema
- precursors
- precursors > history
- principle of equivalence
- propositional equation reasoning system
- propositional logic
- propositions as types
- propositions as types in combinatory algebra
- quantum field theory
- relation theory > history
- Riffs and Rotes
- Sandbox
- SDiff
- semiotic equivalence relation
- semiotic information
- set theory
- sign relation
- simplicial localization
- smooth algebra
- smooth topos
- Symbol Sandbox > history
- syntax-semantics duality
- synthetic differential geometry
- ternary relation
- tmf
- triangulated category
- Trimble on ETCS II
- Trimble on ETCS III
- type
- type theory
- universal construction
- vertex operator algebra