scientific article; zbMATH DE number 3367095

Cited in

(only showing first 100 items - show all)

Homotopy fiber products of homotopy theories
Schrödinger representations from the viewpoint of tensor categories.
Conditional rewriting logic: Deduction, models and concurrency
A higher limit approach to homology theories
Categories of partial maps
Tau functions, infinite Grassmannians, and lattice recurrences
A behavioural pseudometric for probabilistic transition systems
Notes on A∞-Algebras, A∞-Categories and Non-Commutative Geometry
Fuzzy subcontinuity, inverse fuzzy subcontinuity and a new category of fuzzy topological spaces
Addendum to ``Recursively defined metric spaces without contraction
Recognizing mapping spaces
A Category of Pseudo-tangles with Classifying Space Ω^∞S^∞and Applications
Endotrivial modules for finite groups via homotopy theory
Minimal realization of machines in closed categories
Relating ample and biample topological categories with Boolean restriction and range semigroups
On function spaces whose source is the classifying space of an elementary abelian \(p\)-group
Invariants of a quadratic form attached to a tame covering of schemes.
Closure categories
Yangians, mirabolic subalgebras, and Whittaker vectors
Using information systems to solve recursive domain equations
Collages of string diagrams
Subsumptions of algebraic rewrite rules
Weighted limits in an \((\infty, 1)\)-category
Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
Categorical rewriting of term-like structures
Maps and monads for modal frames
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
A short note on coherence and self-similarity
Stereotype approximation property and the uniqueness problem for the trace
On the form of subobjects in semi-abelian and regular protomodular categories
Mac Lane's comparison theorem for the Kleisli construction formalized in Coq
Contorsion of material connection in growing solids
Loop space homology of a small category
Category-theoretic structure for independence and conditional independence
Complex of \(n\)-categories and derivations in group algebras
Quasi-quantum groups, knots, three-manifolds, and topological field theory
scientific article; zbMATH DE number 7447764 (Why is no real title available?)
On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data
The fiber of functors between categories of algebras
A hidden Herbrand theorem: Combining the object and logic paradigms
Precedence-inclusion patterns and relational learning
Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations
Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
Noncommutativity as a colimit
Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
Equivalence, reduction and minimization of finite automata over semirings
scientific article; zbMATH DE number 558433 (Why is no real title available?)
Hopf algebras.
Amalgamated free products of inverse semigroups
On the pointfree counterpart of the local definition of classical continuous maps
Algebraic definition of nonstrict cells
A minimalist two-level foundation for constructive mathematics
De-linearizing linearity: projective quantum axiomatics from strong compact closure
Flache und halbinjektive Funktoren
Group completing monoidal categories
Perfect effect algebras and spectral resolutions of observables
Generalized rewrite theories, coherence completion, and symbolic methods
Trace nets and process automata
Codatatypes in ML
Denotational semantics of a parallel object-oriented language
Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
Graphical Conjunctive Queries.
Hopf algebras and congruence subgroups
Pontryagin Duality for Topological Modules
Relational calculus as a formal system
Loop of formal diffeomorphisms and Faà di Bruno coloop bialgebra
Cauchy completeness for DG-categories
A structural co-induction theorem
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Proof diagrams for multiplicative linear logic
Cosimplicial versus DG-rings: A version of the Dold-Kan correspondence
Automorphisms of the category of free Lie algebras
Galois actions on homotopy groups of algebraic varieties
Homology of \(E_n\) ring spectra and iterated THH
Going up along absolutely flat morphisms
A general view of approximation
Local factorization of trajectory lifting morphisms for single-input affine control systems
Exact embedding functors between categories of modules
scientific article; zbMATH DE number 4021408 (Why is no real title available?)
Normality and quotients in crossed modules and group-groupoids
Categorical ML -- category-theoretic modular programming
A sheaf-theoretic approach to pattern matching and related problems
A logic for category theory
Graph rewriting for a partial ordering semantics of concurrent constraints programming
Forms of life: Unprogrammability constitutes the outside of a system and its autonomy
On the topology of topological fundamental groupoids
The equations D^ k Y = X^ n in combinatorial species
A discrete approach to topological quantum field theories
Domains arising as algebras for powerspace constructions
Galois theory in variable categories
Idempotent functors and localizations in categories of modules and Abelian groups.
On the functoriality of Khovanov-Floer theories
A calculus of coroutines
On the function ring functor in pointfree topology
Iterated magnitude homology
3-dimensional defect TQFTs and their tricategories
Bar and cobar constructions. I
Categorical fixed point calculus
The equivariant Steenrod algebra
An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces

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 Q5639839)