scientific article; zbMATH DE number 822489
From MaRDI portal
Publication:4856547
Recommendations
Cited in
(only showing first 100 items - show all)- The canonical topology on a meet-semilattice
- Galois functors and generalised Hopf modules
- Logical quantization of differential geometry
- Model structures on the category of ex-spaces
- Implicit Partiality of Signature Morphisms in Institution Theory
- Monad transformers as monoid transformers
- The nominal/FM Yoneda lemma
- Morita equivalence of inverse semigroups.
- scientific article; zbMATH DE number 1750088 (Why is no real title available?)
- The depth, the delooping level and the finitistic dimension
- Locale morphisms with exact direct image functor in sheaves
- Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories
- On some categories of structured sets
- Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
- Arboreal Categories: An Axiomatic Theory of Resources
- A presheaf semantics of value-passing processes
- A generalization of the Gabriel-Popescu theorem
- Pure morphisms are effective for modules
- Left properness of flows
- Logical quantization of topos theory
- Monoidal Grothendieck construction
- Bicategorical semantics for nondeterministic computation
- On the equivariant \(2\)-type of a \(G\)-space
- Algebraic databases
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- On bornologies, locales and toposes of \(M\)-sets
- scientific article; zbMATH DE number 2051884 (Why is no real title available?)
- scientific article; zbMATH DE number 7168152 (Why is no real title available?)
- From Γ-spaces to algebraic theories
- scientific article; zbMATH DE number 909653 (Why is no real title available?)
- Correspondences and stable homotopy theory
- On institutions for modular coalgebraic specifications.
- MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
- The finiteness conjecture for skein modules
- Hecke category actions via Smith–Treumann theory
- Foundations for structuring behavioural specifications
- Separating families of locale maps and localic embeddings
- Quillen-Segal algebras and stable homotopy theory
- Tensor products of rings \(\mathfrak{Z}L\) of zero-dimensional frames
- Repleteness and the associated sheaf
- Anticommutativity and the triangular lemma
- Torsion theories and coverings of preordered groups
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Integrating observational and computational features in the specification of state-based, dynamical systems
- scientific article; zbMATH DE number 720879 (Why is no real title available?)
- Quine's conjecture on many-sorted logic
- Dependent types and fibred computational effects
- Observational logic, constructor-based logic, and their duality.
- On regularization of vector distributions on manifolds
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
- Groupoids and strong shape
- Topological semi-abelian algebras
- Algebraic theories of quasivarieties
- Left exact presheaves on a small pretopos
- Stabilization of derivators revisited
- Representation theory for complete \(L\)-lattices
- Beck's theorem for pseudo-monads
- Semidirect products of internal groupoids
- Higher Čech theory
- Bernays-Gödel type theory
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
- Elementary fibrations of enriched groupoids
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Surjection-like classes of morphisms
- On operads, bimodules and analytic functors
- The category 𝒮hjIMSet of sheaves in MSet
- The order-K-ification monads
- String Diagrams for Layered Explanations
- A \(G\)-equivariant string-net construction
- Category theory, logic and formal linguistics: some connections, old and new
- Syntactic categories for Nori motives
- On the topological characterization of gestures in a convenient category of spaces
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- scientific article; zbMATH DE number 1236104 (Why is no real title available?)
- scientific article; zbMATH DE number 1932999 (Why is no real title available?)
- Strongly fibered objects and spaces
- scientific article; zbMATH DE number 2235218 (Why is no real title available?)
- Pre-rigid monoidal categories
- Probabilistic systems coalgebraically: a survey
- Categories and orbispaces
- Protolocalisations of homological categories
- Semi-abelian categories
- Cartesian logic
- The category of residuated lattice valued filter spaces
- Quantales of open groupoids
- Categorical foundations of variety-based topology and topological systems
- Preordered sets valued in a GL-monoid
- Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories
- A quantified coalgebraic van Benthem theorem
- Modal languages for coalgebras in a topological setting
- The \(N\)-stable category
- Topological quantum gates in homotopy type theory
- Categorifying computations into components via arrows as profunctors
- Perfect Local Computability and Computable Simulations
- The logical quantization of algebraic groups
- Empirical quantum mechanics
- A generalization of the Nakayama functor
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
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 Q4856547)
