Aspects of topoi
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes
- Generalized algebraic theories and contextual categories
- Fuzzy sets and toposes - towards higher order fuzzy logic
- Exponentiable morphisms, partial products and pullback complements
- A small complete category
- Tensor product of functors
- Contribution to the study of the natural number object in elementary topoi
- Open maps of toposes
- From types to sets
- Algebraic categories with few monoidal biclosed structures or none
- Fuzzy sets: A topos-logical point of view
- Modal operators on Heyting algebras
- On the algebra of cubes
- Pre-recursive categories
- Categorical De Morgan laws
- Categories, toposes and sets
- Abstract Galois theory. II
- A survey of fuzzy set and topos theory
- A characterization of nuclei in orthomodular and quantic lattices
- Projectales
- Conditional rewriting logic as a unified model of concurrency
- Toposes without points
- A categorical characterization of Boolean algebras
- The decision problem for some finite extensions of the intuitionistic theory of abelian groups
- Ultrafilters, ultrapowers and finiteness in a topos
- Categories
- A fibred homotopy equivalence and homology theories for the category of small categories
- Laminations, or how to build a quantum-logic-valued model of set theory
- Classifying topoi and the axiom of infinity
- Left exact presheaves on a small pretopos
- The algebraic theory of order
- Semilattices global valuations in the topos approach to quantum mechanics
- On natural number objects, finiteness and Kripke-Platek models in toposes
- Categorical set theory: A characterization of the category of sets
- Topos theory and Souslin's hypothesis
- The associated sheaf functor in an elementary topos
- Elementary axioms for local maps of toposes
- On linear exactness properties
- The monadic tower for \(\infty\)-categories
- Revisiting the categorical interpretation of dependent type theory
- Enriched regular theories
- Physical properties as modal operators in the topos approach to quantum mechanics
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- Construction of a monadic Heyting algebra in a logos
- On topoi as closed categories
- Internal enriched categories
- Virtual concepts in the theory of accessible categories
- Higher fundamental functors for simplicial sets
- Geometrisation of first-order logic
- A diagrammatic logic for object-oriented visual modeling
- Logic in category theory
- Model transformation and induced instance migration: a universal framework
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- A proof of the associated sheaf theorem by means of categorical logic
- scientific article; zbMATH DE number 3869560 (Why is no real title available?)
- ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
- scientific article; zbMATH DE number 4137744 (Why is no real title available?)
- ESSENTIALLY ALGEBRAIC CATEGORIES
- Exact functors, local connectedness and measurable cardinals
- Categorical semantics for higher order polymorphic lambda calculus
- scientific article; zbMATH DE number 4077517 (Why is no real title available?)
- Hochster’ theorem, coherent locales, and lattices of radical ideals
- Relating first-order set theories, toposes and categories of classes
- Automata in categories. The decomposition problem
- scientific article; zbMATH DE number 3771857 (Why is no real title available?)
- scientific article; zbMATH DE number 3773851 (Why is no real title available?)
- Cartesian inclusion: locales and topgses∗
- Two forms of the axiom of choice for an elementary topos
- scientific article; zbMATH DE number 3486022 (Why is no real title available?)
- Localization and Sheaf Reflectors
- Topology and logic as a source of algebra
- scientific article; zbMATH DE number 3512376 (Why is no real title available?)
- scientific article; zbMATH DE number 3550924 (Why is no real title available?)
- scientific article; zbMATH DE number 3554460 (Why is no real title available?)
- scientific article; zbMATH DE number 3563347 (Why is no real title available?)
- Exactness of the localization functor for M-sets
- Cosmoi of Internal Categories
- scientific article; zbMATH DE number 3621971 (Why is no real title available?)
- An algebraic approach to intuitionistic connectives
- Finitary sketches
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Identity of Proofs Based on Normalization and Generality
- Colimits in Topoi
- scientific article; zbMATH DE number 3453847 (Why is no real title available?)
- Polynomial functors and polynomial monads
- Sheaf Representations and Duality in Logic
- Geometric Rules in Infinitary Logic
- Induced \((\mathcal{E}, \mathcal{M})\)-structures on topological categories
- Structures of systems 1. cohomology of manufacturing and supply network-like systems
- The comprehensive factorization of a functor
- The axiom of infinity and transformations j: V V
- Localization at Injectives in Complete Categories
- Conditional rewriting logic: Deduction, models and concurrency
- The axiom of choice
- On the role of description
- On the dependent product in toposes
- Glivenko sequent classes and constructive cut elimination in geometric logics
- Equivalences among various logical frameworks of partial algebras
- Formal model theory and higher topology
- Inner automorphisms of groupoids
This page was built for publication: Aspects of topoi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5665316)
