Jon Awbrey has contributed to 91 nLab pages.

Jon Awbrey | 21:08:20, December 30 2022 |

inquiry driven system | 20:49:01, August 31 2020 |

Jon Awbrey | 20:40:32, August 31 2020 |

semiotic information | 16:45:20, August 30 2020 |

Peirce's logic of information | 16:30:32, August 30 2020 |

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

differential propositional calculus | 00:00:21, August 05 2019 |

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

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

- 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
- C^∞-ring
- 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
- 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 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