scientific article; zbMATH DE number 1289305
From MaRDI portal
Publication:4243759
latticesfoundations of mathematicscategory theoryposetstextbookstructural recursionadjunction between syntax and semanticssyntactic category of a theory
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematics in general (00A05) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)
Recommendations
Cited in
(62)- Type-theoretic approaches to ordinals
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
- CPO semantics of timed interactive actor networks
- A new framework for declarative programming
- A categorical framework for learning generalised tree automata
- Recursive coalgebras of finitary functors
- Quotient completion for the foundation of constructive mathematics
- Darboux calculus
- Relative full completeness for bicategorical Cartesian closed structure
- Well-founded coalgebras, revisited
- Initial algebras unchained -- a novel initial algebra construction formalized in Agda
- M-shaped and other exotic solitons generated by cubic-quintic saturable nonlinearities in a nonlinear electrical transmission network with higher-order dispersion effects
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
- Contexts, refinement and determinism
- Semantic analysis of normalisation by evaluation for typed lambda calculus
- Bicategorical type theory: semantics and syntax
- Semi-abelian categories
- Localization, monoid sets and \(K\)-theory
- Distributivity of categories of coalgebras
- Bicategories in univalent foundations
- Computational adequacy for recursive types in models of intuitionistic set theory
- Kleisli morphisms and randomized congruences for the Giry monad
- Proof theory in the abstract
- Map composition generalized to coherent collections of maps.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
- Identity types and weak factorization systems in Cauchy complete categories
- Algebraic presentations of type dependency
- Parameterised notions of computation
- The identity type weak factorisation system
- Constructing initial algebras using inflationary iteration
- Understanding one another: making out meanings with Boolean equations
- Categories for collection monads
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- What is a finitely related object, categorically?
- GATlab: modeling and programming with generalized algebraic theories
- Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer)
- Strict universes for Grothendieck topoi
- A Categorical Aspect of the Analogy Between Quantifiers and Modalities
- Recursive coalgebras from comonads
- scientific article; zbMATH DE number 5306929 (Why is no real title available?)
- Two-dimensional models of type theory
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- Relations on hypergraphs
- Intuitionistic sets and ordinals
- Generic tools via general refinement
- Ordinals in Frobenius monads
- General refinement. II: Flexible refinement
- Extending conceptualisation modes for generalised formal concept analysis
- scientific article; zbMATH DE number 7559297 (Why is no real title available?)
- Symmetric Heyting relation algebras with applications to hypergraphs
- scientific article; zbMATH DE number 7559271 (Why is no real title available?)
- scientific article; zbMATH DE number 7566056 (Why is no real title available?)
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
- The Dedekind reals in abstract Stone duality
- Congruence filter pairs, equational filter pairs and adjoints
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Pick two points in a tree
- Kernels, in a nutshell
- Filter pairs and natural extensions of logics
- Continuous and algebraic domains in univalent foundations
- Quantum logic in dagger kernel categories
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4243759)
