Author — Jon Awbrey

Jon Awbrey has contributed to 90 nLab pages.

precursors | 13:08:02, April 20 2020 |

sign relation | 13:21:01, April 18 2020 |

continuous predicate | 13:26:05, April 16 2020 |

inquiry | 10:44:45, April 14 2020 |

logical graph | 10:00:02, April 14 2020 |

semiotic equivalence relation | 15:15:02, April 12 2020 |

hypostatic abstraction | 12:00:12, April 10 2020 |

differential propositional calculus | 12:48:02, April 09 2020 |

propositional equation reasoning system | 08:48:03, April 08 2020 |

minimal negation operator | 12:00:06, April 06 2020 |

cactus language | 11:44:03, April 04 2020 |

empty 202 | 17:20:26, March 30 2020 |

differential logic | 17:12:03, March 30 2020 |

Jon Awbrey | 11:24:15, March 28 2020 |

parametric operator | 18:26:38, March 14 2020 |

multigrade operator | 18:18:24, March 14 2020 |

propositions as types in combinatory algebra | 13:56:48, March 13 2020 |

Riffs and Rotes | 13:54:10, March 13 2020 |

sign relation | 16:04:25, October 02 2019 |

cactus language | 17:21:00, September 04 2019 |

continuous predicate | 17:16:13, September 04 2019 |

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 |

- 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
- empty 202
- 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 > 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