search result

Cover von Quotients, pure existential completions and arithmetic universes
Search for this author
Year: 2025
Publisher: Sackville, Mount Allison University
Series: Theory and Applications of Categories; 42. 2024, 4
Media group: ARTICLE
Cover von When Lawvere Meets Peirce

When Lawvere Meets Peirce

An Equational Presentation of Boolean Hyperdoctrines
Year: 2024
Media group: LIPIcs
Cover von Weakly Markov Categories and Weakly Affine Monads

Weakly Markov Categories and Weakly Affine Monads

Year: 2023
Media group: LIPIcs
Cover von The Gödel Fibration

The Gödel Fibration

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0