Realization of relational presheaves
From MaRDI portal
Cites work
- Categorical notions of fibration
- Categories and Sheaves
- Cubical type theory: a constructive interpretation of the univalence axiom
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
- Elements of automata theory. Translated from the French by Reuben Thomas
- Free quantaloids
- Higher Topos Theory (AM-170)
- scientific article; zbMATH DE number 2125645 (Why is no real title available?)
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1243159 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 206022 (Why is no real title available?)
- scientific article; zbMATH DE number 1924514 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- Kleene theorem for higher-dimensional automata
- Lax presheaves and exponentiability
- Modal logics withn-ary connectives
- Non-Hausdorff parallelized manifolds over geometric models of conservative programs
- On the expressiveness of higher dimensional automata
- Partial higher-dimensional automata
- Quantaloids, enriched categories and automata theory
- Relational and partial variable sets and basic predicate logic
- Relational presheaves, change of base and weak simulation
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
- Trees in partial higher dimensional automata
This page was built for publication: Realization of relational presheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7317481)
