scientific article; zbMATH DE number 195102
From MaRDI portal
Publication:4693062
zbMath0695.18001MaRDI QIDQ4693062
Jiří Adámek, George E. Strecker, Horst Herrlich
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cartesian closed categoriesmonadstopological categoriesadjointsfundamentalsalgebraic categoriesquasitopoi
Related Items
Cartesian closed extensions of the category of uniform spaces, Algebras with compatible quantale-enriched structures, Regular relations and bicartesian squares, Universalities, Almost coreflective and projective classes, What is concrete equivalence?, Spaces from pieces. I, Stratified \(L\)-prefilter convergence structures in stratified \(L\)-topological spaces, Hereditary coreflective subcategories in epireflective subcategories of semitopological groups, Cowellpoweredness of some categories of quasi-uniform spaces, An algebraic theory of normal forms, Spaces from pieces. II, Spaces from pieces. III, Accessibility and the solution set condition, \(L\)-fuzzifying topologies as \(L\)-topologies, Lagois connections -- a counterpart to Galois connections, Sup-algebra completions and injective hulls of ordered algebras, Hopf monoids in varieties, Axiomatizations of universal classes through infinitary logic, Maximal essential extensions in the context of frames, Strictly zero-dimensional biframes and a characterisation of congruence frames, Productivity of some classes of topological linear spaces, The topological universe of locally precompact semiuniform convergence spaces, A short note on fuzzy neighborhood convergence spaces, Topological systems as a framework for institutions, A survey on the categorical term construction with applications, Restricted Priestley dualities and discriminator varieties, Simple and subdirectly irreducible finitely supported \(Cb\)-sets, Closure categories, Parallel high-level replacement systems, Towards a characterization of universal categories, On the dual Ramsey property for finite distributive lattices, Spectral reflections of topological spaces, A new definition of order relation for the introduction of algebraic fuzzy closure operators, Tensor products and relation quantales, Quantalic topological theories, Polyhedral MV-algebras, Fuzzy topological spaces with conical neighborhood systems, On the category of rough sets, Quantale algebras as lattice-valued quantales, Equalizers and kernels in categories of monoids, The Cartesian closed topological hull of the category of approach uniform spaces., Towards a unified framework for decomposability of processes, Canonizing structural Ramsey theorems, The pseudo-fundamental group scheme, Contextuality and noncommutative geometry in quantum mechanics, General Stone duality., An Ascoli theorem in approach theory., On the multitude of monoidal closed structures on \(\mathcal{UAP}\)., A comparison of various uniformities in fuzzy topology., Bicompletion of Lowen fuzzy quasi-uniform spaces., \(L\)-filters and \(L\)F-topologies., Meet continuous lattices, limit spaces, and \(L\)-topological spaces., First-countability, sequentiality and tightness of the upper Kuratowski convergence, Dicovering approximation spaces and definability, Weak algebraic information systems and a new equivalent category of DOM of domains, The PBPO graph transformation approach, Algebraization of quantifier logics, an introductory overview, Some economic applications of Scott domains, Factorization, diagonal separation, and disconnectedness, Preservation of topological properties under exponentiation, Algebraic theories of quasivarieties, Induction and recursion on the partial real line with applications to Real PCF, From static to dynamic abstract data-types: An institution transformation, Approximations in functional analysis, On the classification of \(\mathcal F\)-fibrations, Fibrewise smash product and fibrewise mapping spaces, Note on multisolid categories, Epimorphisms in cylindric algebras and definability in finite variable logic, The theory of global fuzzy neighborhood structures. I: The general case, Stable subconstructs of FTS. III: Exotic cases, The theory of global fuzzy neighborhood structures. II: Fuzzy topogenous orders, The theory of global fuzzy neighborhood structures. III: Fuzzy uniform structures, On fuzzy sobriety, A categorical critical-pair completion algorithm, Separation axioms for fuzzy syntopogenous spaces, Extending ring topologies, Categories isomorphic to FNS, Alternative characterizations of \(\mathbf{FNCS}\), A short note on fuzzy neighbourhood convergence spaces, Closure operators and fuzzy connectedness, On the \(L\)-fuzzy Brouwer fixed point theorem, Maps of finite powers of metric spaces (recursive conditions for spaces at work), Limit structures and many valued topologies, Some categorical aspects of fuzzy topology, Epimorphisms in categories of separated fuzzy topological spaces, Large sources and closure operators in topological constructs, Compactifications of products of metric spaces and their relations to Čech-Stone and Smirnov compactifications, Closure operators and connectedness, Categorical differentiation theory and Cauchy continuity, On the reflectivity and coreflectivity of \(L\)-fuzzyfying topological spaces in \(L\)-topological spaces., Right projective semigroups with 0, Fuzzy \(T\)-neighbourhood spaces. I: \(T\)-proximities, Fuzzy \(T\)-neighbourhood spaces. II: \(T\)-neighbourhood systems, Regularity in fuzzy convergence spaces, The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames, Exponential objects and Cartesian closedness in the construct \textit{Prtop}, The algebraic theory of order, Concrete full embeddings into categories of algebras and coalgebras, Hierarchical graph transformation, \(\mathbf{FNS}\) is not isomorphic to \(\mathbf{FTS}\), Observational logic, constructor-based logic, and their duality., Simultaneously reflective and coreflective full subconstructs of stratified \(L\)-topological spaces are concretely reflective and coreflective, Coreflectively modified duality, Ditopological texture spaces and fuzzy topology. I: basic concepts, Ditopological texture spaces and fuzzy topology. II: topological considerations, The near SR-compactness axiom in \(L\)-topological spaces, Solid hulls of concrete categories, Constant morphisms and constant subcategories, Category-based modularisation for equational logic programming, Cauchy completions of nearness frames, The variety of CH-algebras, On the classes of dense and closed subobjects, Sequentially continuous homomorphisms on products of topological groups, The Wijsman and Attouch-Wets topologies on hyperspaces revisited, Classes of pretopological spaces closed under the formation of final structures, A general theory of fuzzy topological spaces, Stable subconstructs of FTS. II, Minimal covers and filter spaces, Graphs with a regular endomorphism monoid, What is a logic translation?, Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, 1-cohomology of simplicial amalgams of groups., Near sets: an introduction, Lowen spaces, The answer to a problem posed by Zhao and Ho, On categorical aspects of \(S\)-quantales, Regularity of fuzzy convergence spaces, Exactness of direct limits for abelian categories with an injective cogenerator, The category of matroids, The impact of Pontryagin and Bohr functors on large-scale properties of locally compact abelian groups, Giry and the Machine, Coalgebraic minimization of automata by initiality and finality, Free and cofree \(S\)-quantales, Pre-adjunctions and the Ramsey property, Categorical aspects of inducing closure operators on graphs by sets of walks, Alexandroff unitization of a truncated vector lattice, Epimorphisms of \(S\)-quantales, The congruence frame and the Madden quotient for partial frames, Extensional quotient coalgebras, On injectivity in category of rough sets, Hyperconvexity and tight-span theory for diversities, Composite variety-based topological theories, Lattice-valued semiuniform convergence spaces, Di-uniformities and Hutton uniformities, Join-completions of \(L\)-ordered sets, \(C_{p}(X)\) in coreflective classes of locally convex spaces, Globalization of confluent partial actions on topological and metric spaces, Algebraic graph rewriting with controlled embedding, Finite big Ramsey degrees in universal structures, Amalgamation in the semantics of CASL, On quasivarieties and varieties as categories, A short note on \(L\)-fuzzy approximation spaces and \(L\)-fuzzy pretopological spaces, Coverages give free constructions for partial frames, Bohr compactifications of algebras and structures, Quasi left factorization structures as presheaves, Exponentiable streams and prestreams, Cartesian closedness, extensionality and bornological universes, On Morita equivalence of partially ordered monoids, Cartesian closed topological categories and tensor products, Languages and models for hybrid automata: a coalgebraic perspective, On \((L, M)\)-double fuzzy filter spaces, Ramsey degrees: big v. small, Exponential \(Q\)-topological spaces, Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic, A formula for codensity monads and density comonads, Meet-semilattice congruences on a frame, Scott approach distance on metric spaces, Met-like categories amongst concrete topological categories, On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices, The \(L\)-ordered semigroups based on \(L\)-partial orders, Characterizations of \(L\)-convex spaces via domain theory, Lattice-valued \(F\)-transforms and similarity relations, Sobriety of quantale-valued cotopological spaces, Semitopological groups, semiclosure semigroups and quantales, Notes on topological BL-algebras, Fuzzy Galois connections on fuzzy sets, Unusual spectral categories, A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata, Codenseness and openness with respect to an interior operator, A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups, A categorial approach to reaction systems: first steps, Some further results on the cancellation law for partially ordered sets and \(T_0\)-spaces, Single pushout rewriting in comprehensive systems of graph-like structures, Adding an identity to a Banach lattice algebra: a look at a Wickstead's counter-example from a norm-free point of view, Partial pullback complement rewriting along admissible matches, On \(L\)-fuzzy closure operators and \(L\)-fuzzy pre-proximities, A few notes on quantum \(B\)-algebras, Concave \((L, M)\)-fuzzy interior operators and \((L, M)\)-fuzzy hull operators, Comprehensive systems: a formal foundation for multi-model consistency management, Similarities between powersets of terms, Relating CASL with other specification languages: the institution level., Initial \(L\)-fuzzy closure spaces, On initial and final fuzzy uniform structures, Generalized Lowen functors, Convergence-theoretic characterizations of compactness, On limit stability of special classes of continuous maps, Stratified Hutton uniform spaces, A note on the hypergraph functor, Taut monads and \(T0\)-spaces., \(t\)-structures are normal torsion theories, Exponential objects, Fundamental duality of abstract categories and its applications, Fuzzy terms, Lattice-valued bornological systems, Lattice-valued preordered sets as lattice-valued topological systems, Free \(Q\)-algebras., Degrees of compactness in \((L, M)\)-fuzzy convergence spaces and its applications, Lattice-valued preuniform convergence spaces, On a categorical framework for coalgebraic modal logic, Category-theoretic approach to software systems design, A note on strong protomodularity, actions and quotients, The fundamental group as the structure of a dually affine space, An alternative description of approach spaces via approach cores, Tensor functional topology on Woronowicz categories, Generalizations of the Sweedler dual, A diagram of Galois connections of functorial topologies, Categories isomorphic to (\(L,M\))-DFTOP, Injective hulls for ordered algebras, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Locales as spectral spaces, Parameterisation for abstract structured specifications, Interior operators and topological separation, Functional topology for geometric settings, Hereditary coreflective subcategories of the categories of Tychonoff and zero-dimensional spaces, \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces., Morita equivalence of semigroups with local units., Subsequential transducers: a coalgebraic perspective, A coalgebraic approach to non-determinism: applications to multilattices, Monadic extensions of institutions, Ideal-valued topological structures, Towards the theory of \(\mathbb M\)-approximate systems: Fundamentals and examples, Alexandroff \(L\)-co-topological spaces, Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies, On limits and colimits of variety-based topological systems, A categorical approach to absolute closure, A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I, A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II, A coalgebraic perspective on linear weighted automata, Natural duality, modality, and coalgebra, Moore-Smith convergence in (L,M)-fuzzy topology, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, Lowen LM-fuzzy topological spaces, Adding fuzziness to terms and powerobjects using a monadic approach, Categorical foundations of variety-based topology and topological systems, Free internal groups, Algebraic theory of vector-valued integration, How to delete categorically -- two pushout complement constructions, L-fuzzy Q-convergence structures, On adjunctions between Lim, SL-Top, and SL-Lim, Coreflective hull of finite strong L-topological spaces, Weak reflections and weak factorization systems, Connected and disconnected maps, Absolute flatness and amalgamation in pomonoids, On coarse and fine neighbourhood operators, Fermat-Reyes method in the ring of Fermat reals, On coalgebras over algebras, Categorical properties of \(M\)-indiscernibility spaces, Interior operators in a category: idempotency and heredity, Intrinsic approach spaces on domains, Categorical neighborhood operators, Descent and effective descent morphisms in \(\omega\)-\({\mathcal C}po\), Concrete functors determined by their restrictions to the \(T_0\) objects, Remark on the unital quantale \(Q[e\)], Separation properties at \(p\) for the topological category of Cauchy spaces, A note on Cauchy spaces, Object-free definition of categories, Two Cartesian closed categories of information algebras, A category approach to relation preserving functions in rough set theory, Range universal spaces, Compactness and compactifications in generalized topology, Separation versus connectedness, Existence of reflections and its applications, A note on dynamic relational systems, Natural congruences and isomorphism theorems for directed complete partially ordered sets, \(\mathcal{Q}\)-closure spaces, Quasihomeomorphisms and meet-semilattice equivalences of generalized topological spaces, Weakly hereditary regular closure operators, Some open categorical problems in Top, Lexicographic sums and fibre-faithful maps, Compactness and convergence with respect to a neighborhood operator, A non-commutative and non-idempotent theory of quantale sets, An approach to fuzzy frames via fuzzy posets, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, Compactification with respect to a generalized-net convergence on constructs, Sobriety and spatiality in categories of lattice-valued algebras, Net-theoretical convergence in \((L,M)\)-fuzzy cotopological spaces, Limits and colimits of Hopf algebras, Algebraic lattices and locally finitely presentable categories, On the algebra of structured specifications, Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets, Fuzzy algebras as a framework for fuzzy topology, Fuzzy Galois connections under weak conditions, Generalization of \(L\)-closure spaces, The prime dicompletion of a di-uniformity on a plain texture, Dicompleteness and real dicompactness of ditopological texture spaces, Plain ditopological texture spaces, Quotient-reflective and bireflective subcategories of the category of preordered sets, A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces, The lower and upper \(p\)-topological (\(p\)-regular) modifications for lattice-valued convergence spaces, Normal subobjects of topological groups and of topological semi-Abelian algebras, A Kuratowski-Mrówka theorem in approach theory, On the representation of non-Archimedean objects, Gap functionals, proximities and hyperspace compactification, Density in categorical topology via quantaloid-enriched categories, Transporting many-valued sets along many-valued relations, Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations, Uniform environments as a general framework for metrics and uniformities, Survey of local connectedness axioms and their properties in \(L\)-topological spaces, Global \(L\)-neighborhood groups, Uniform-type structures on lattice-valued spaces and frames, On many-valued stratified \(L\)-fuzzy convergence spaces, On the category of fixed basis frame valued topological groups, A note on specialization \(L\)-preorder of \(L\)-topological spaces, \(L\)-fuzzifying topological spaces, and \(L\)-fuzzy topological spaces, On a coreflective hull in \(L\)-TOP, The orthogonal subcategory problem and the small object argument, Another approach to connectedness with respect to a closure operator, Quantified functional analysis and seminormed spaces: a dual adjunction, Fuzzy preorder and fuzzy topology, Ditopological texture spaces and fuzzy topology. III: Separation axioms, Images and preimages of \(L\)-filterbases, On \(L\)-proximities of the internal type, Extension of Shi's quasi-uniformities in a Kubiak-Šostak sense, On initial and final fuzzy uniform structures. II, The intersection of algebra and coalgebra, Effective codescent morphisms, amalgamations and factorization systems, Connectedness and local connectedness in Lowen spaces, An enriched category approach to many valued topology, On a generalization of Goguen's category \({\mathcal S}et(L)\), Generalized quasi-proximities, Quasicontinuity of posets via Scott topology and sobrification, Epimorphisms and cowellpoweredness for separated metrically generated theories, Fuzzy sets and sheaves. I: Basic concepts, A unifying study between modal-like operators, topologies and fuzzy sets, (IC) \(L\)-cotopological spaces, Textures and \(C\)-spaces, Closure axioms for a class of fuzzy matroids and co-towers of matroids, Weakly induced modifications of \(I\)-fuzzy topologies, Algebraic weak factorisation systems. I: Accessible AWFS., Lattice-valued soft algebras., The categories \(L\)-\(\mathbf{Top}_{0}\) and \(L\)-\(\mathbf{Sob}\) as epireflective hulls, On injective hulls of \(S\)-posets, Categorical frameworks for generalized functions, Dagger geometry as Banach algebraic geometry, Approximating orders in meet-continuous lattices and regularity axioms in many valued topology, Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, An irregular filter model, On minimal coalgebras, A framework for the verification of infinite-state graph transformation systems, The change-base issue for \(\Omega\)-categories, Hereditary, additive and divisible classes in epireflective subcategories of Top, Approach theory in a category: A study of compactness and Hausdorff separation, Convergence on categories, A mathematical theory of sign-mediated concept formation, Finite relational structure models of topological spaces and maps, Constructing the sobrification of an approach space via bicompletion, Interior and closure operators on texture spaces. I: Basic concepts and Čech closure operators, Interior and closure operators on texture spaces. II: Dikranjan-Giuli closure operators and Hutton algebras, Implication structures, fuzzy subsets, and enriched categories, Pointed semi-quantales and lattice-valued topological spaces, \(L\)-fuzzy closure systems, Pointwise bornological vector spaces, The proof monad, A categorical study on the finiteness of specifications, Categories of bi-fuzzy pre-matroids, Essential pure monomorphisms of sheaves of group actions., Stratified \(L\)-ordered convergence structures, Stratified categorical fixed-basis fuzzy topological spaces and their duality, Characteristic triangles of closure operators with applications in general algebra, A 2-categorial generalization of the concept of institution, On direct summands of homological functors on length categories. In memory of Hans-Bjørn Foxby, Some generalizations of Fedorchuk duality theorem-I, HasCasl: integrated higher-order specification and program development, Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\), Bialgebraic methods and modal logic in structural operational semantics, Epireflections and supercompact cardinals, Characterization of a category for monoidal topology, Bornologies and metrically generated theories, Weak regularity and consecutive topologizations and regularizations of pretopologies, Many for the price of one duality principle for affine sets, Some properties of categories CL and CLPair, Slices of essentially algebraic categories, Real dicompact textures, Real dicompactifications of ditopological texture spaces, Completion of Boolean algebras in MSet, Almost \textit{ff}-universality implies \(Q\)-universality, A generalization of de Vries duality theorem, On the relationship between limit spaces, many valued topological spaces, and many valued preorders, Analogizing Hutton's quasi-uniformities for complete lattices and extending Shi's quasi-uniformities to closed set lattices, The category of G-posets, A characterization of the category FCS, Textural unit operations in rough set theory, Category of soft Lie algebra, Neighborhoods with respect to a categorical closure operator, A logic of implications in algebra and coalgebra, Tensor products for bounded posets revisited, On initial and final \(L\)-topological groups, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, On the category \(\mathcal {S}et(\mathcal {JCP}os)\), Weakly terminal objects in quasicategories of \(\mathcal{SET}\) endofunctors, Adjoint maps between implicative semilattices and continuity of localic maps, Some partial results on the cancellation law for the tensor product of complete lattices, The monad on strong quasi-metric spaces, The Isbell monad, On the homomorphisms of power-set \(Q\)-algebras, Cosheaf representations of relations and Dowker complexes, Topological representation of precontact algebras and a connected version of the Stone duality theorem. I., Nuclear ranges in implicative semilattices, The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Algebraic-coalgebraic specification in CoCASL, Bisimulation maps in presheaf categories, Lattice-valued induced fuzzy topological spaces, On \((L,M)\)-fuzzy quasi-uniform spaces, Free-lattice functors weakly preserve epi-pullbacks, Continuity as a computational effect, Ordinals in Frobenius monads, A note on quotient reflective subcategories of O-REL, Variants of Booleanness: congruences of a partial frame versus those of its free frame, Learning algebraic decompositions using Prony structures, Pretorsion theories, stable category and preordered sets, \(L\)-topological-convex spaces generated by \(L\)-convex bases, Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs, Connectedness in a category, Compactly generated spaces and quasi-spaces in topology, Sizes and filtrations in accessible categories, A category theoretical interpretation of discretization in Galerkin finite element method, Reflections in topological algebraic structures, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, On the reflective and coreflective subcategory of stratified \(L\)-Čech closure spaces, A fixed point theorem in rough semi-linear uniform spaces, Clopen objects, connected objects, and normalized topological categories, Pushouts and e-projective semimodules, Bitopological duality for algebras of Fitting's logic and natural duality extension, A quantified coalgebraic van Benthem theorem, Monographs, a category of graph structures, Parallel coherent graph transformations, The MacNeille completions for residuated \(S\)-posets, Transformations of discrete closure systems, On the category of lattice-valued bornological vector spaces, A method for constructing coreflections for nearness frames., Monads in topology, Structured lattices and topological categories of \(L\)-sets, Relationship of algebraic theories to powersets over objects in \(\mathbf {Set}\) and \(\mathbf {Set}\times C\), A categorical approach to abstract convex spaces and interval spaces, A calculus of concurrent graph-rewriting processes, A new foundation for finitary corecursion and iterative algebras, Hereditary coreflective subcategories in certain categories of abelian semitopological groups, Precoherent quantale completions of partially ordered semigroups, Metagories, On generalized equilogical spaces, Zero dimensionality of the Čech-Stone compactification of an approach space, Frames of continuous functions, Compactifications and reflections of partial spaces via partial frames, Lattice-equivalence of convex spaces, Partial frames and filter spaces, Generalisations of coarse spaces, \(SI\)-continuous spaces and continuous posets, The representation theorem of persistence revisited and generalized, The Banaschewski compactification revisited, Codensity, profiniteness and algebras of semiring-valued measures, Aggregation operators on bounded partially ordered sets, aggregative spaces and their duality, Generalized quasi-metric semilattices, Bornological spaces, Fuzzy counterparts of hull operators and interval operators in the framework of \(L\)-convex spaces, On the injective hulls of quantum B-algebras, On injective constructions of \(S\)-semigroups, Categorial independence and Lévy processes, Injective hulls in the category of mildly distributive semilattices, A category of quantum posets, Cowellpoweredness and closure operators in categories of coarse spaces, On the structural theorem of persistent homology, On two categories of many-level fuzzy morphological spaces, Polyadic sets and homomorphism counting, 2-quasi crossed modules of commutative algebras, Phenotype spaces, Hypercontinuous posets., Another look on tense and related operators, Cartesian-closedness and subcategories of \((L, M)\)-fuzzy \(Q\)-convergence spaces, On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras, A new definition of rough paths on manifolds, Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic, Discrete density comonads and graph parameters, Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete, Bifold algebras and commutants for enriched algebraic theories, Quotients of span categories that are allegories and the representation of regular categories, Enveloping action: convergence spaces, The stable category of a left hereditary ring, Exponential Kleisli monoids as Eilenberg-Moore algebras, On a lax-algebraic characterization of closed maps, Interior operators, open morphisms and the preservation property, Injective hulls of many-sorted ordered algebras, \(L\)-fuzzy syntopogenous structures. I: Fundamentals and application to \(L\)-fuzzy topologies, \(L\)-fuzzy proximities and \(L\)-fuzzy uniformities, On fuzzification of topological categories, On \((L; M)\)-fuzzy convergence spaces, Enriched lattice-valued convergence groups, Two Cartesian closed subcategories of fuzzy domains, Partial pullback complement rewriting, Transformations of reaction systems over categories by means of epi-mono factorization and functors, Cartesian closedness in categories with an idempotent closure operator and closed morphisms, Characterising Behavioural Equivalence: Three Sides of One Coin, Category-theoretic models of algebraic computer systems, Toward a Theory of the Pragmatic A Priori: From Carnap to Lewis and Beyond, A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation, Fuzzy orders and fuzzifying topologies, Topological categories, quantaloids and Isbell adjunctions, Topological Galois theory, Topological theories and closed objects, Monocoreflections of completely regular frames, On Coalgebras over Algebras, Fibers of characters in Gelfand-Tsetlin categories, Pointwise bornological spaces, Function spaces in metrically generated theories, A generalisation of the functional approach to compactness, Affine sets: the structure of complete objects and duality, The hereditary monocoreflective subcategories of abelian groups and \(R\)-modules, Pullback in partial morphism categories, Subcategories of the category of \(L\)-convex spaces, Sierpinski object for affine systems, Categorical foundations of variety-based bornology, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Several types of enriched \((L,M)\)-fuzzy convergence spaces, A generalization of the Stone duality theorem, A dual Ramsey theorem for permutations, Inverse systems and limits in the category of ditopological plain spaces, Weak topologies on toposes, On a topological universe of \(L\)-bornological spaces, On topological systems, \(L\)-fuzzy pre-proximities, \(L\)-fuzzy filters and \(L\)-fuzzy grills, Factorization and local presentability in topological and uniform spaces, Quotients of d-frames, Fundamental constructions for coalgebras, corings, and comodules., \(L\)-fuzzy interior systems, U-closure operators and compactness, Sober approach spaces are firmly reflective for the class of epimorphic embeddings, Banach orbifold structure on groupoids of morphisms of orbifolds, Prekernels of topologically axiomatized subcategories of concrete categories, Metric spaces and textures, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Tameness in generalized metric structures, Cellular categories, On the topological and uniform structure of diversities, Are all localizing subcategories of stable homotopy categories coreflective?, Category-theoretic fuzzy topological spaces and their dualities, A characterization of the category \(Q\)-\(\mathbf{TOP}\), Extended real dicompactness and an application to Hutton spaces, Closed hereditary coreflective subcategories in epireflective subcategories of Top, Unnamed Item, Displayed Categories, Web spaces and worldwide web spaces: topological aspects of domain theory, Asymmetry of Cantorian Mathematics from a Categorial Standpoint: Is It Related to the Direction of Time?, Extending List’s Levels, On dual Ramsey theorems for relational structures, Constructions in the category of fuzzy \(T\)-proximity spaces, Powersets of terms and composite monads, \(I\)-fuzzy Alexandrov topologies and specialization orders, Regularity in approach theory, Fuzzy TL-uniform spaces, Choiceless, pointless, but not useless: dualities for preframes, Completion via nearness for metrically generated constructs, Metrizability and coconnectedness, Conway's question: the chase for completeness, Completion of semi-uniform spaces, A topologist's view of Chu spaces, Cryptographic logical relations, Galois connections between categories of \(L\)-topological spaces, Free modules over Cartesian closed topological categories, Unnamed Item, Unnamed Item, Unnamed Item, Sums of \(L\)-fuzzy topological spaces, Categories isomorphic to \(L\)-FTOP, Categories isomorphic to the Kubiak-Šostak extension of TML., Categories of lattice-valued sets as categories of arrows, Closure operators in topological groups related to von Neumann's kernel, Unnamed Item, Unnamed Item, Algebraic and Categorical Aspects of Quantales, The complexity of embedded axiomatization for a class of closed database views, Sober approach spaces, On the epireflective hull of top in near, Asymmetry and bicompletion of approach spaces, Function spaces and one point extensions for the construct of metered spaces, Exponentiation for unitary structures, Dual closure operators and their applications, Categorical pullbacks, Categories of Timed Stochastic Relations, ENRICHED LATTICE-VALUED TOPOLOGICAL GROUPS, Model Transformation and Induced Instance Migration: A Universal Framework, Extended-order algebras as a generalization of posets, Semiring and Semimodule Issues in MV-Algebras, Some Co-Birkhoff Type Theorems, Towards coalgebraic behaviourism, Factorization systems and fibrations, Classifying categories for partial equational logic, Aspects of general topology in constructive set theory, Injectivity and sections, Hopf and Lie algebras in semi-additive Varieties, Coalgebraising Subsequential Transducers, Unnamed Item, Injective semimodules-revisited, Unnamed Item, SEQUENTIALLY COMPACT S-ACTS, Unnamed Item, Minimality Notions via Factorization Systems and Examples, Unnamed Item, Unnamed Item, Unnamed Item, Triquotient maps via ultrafilter convergence, The notion of closedness and D-connectedness in Quantale-valued approach spaces, On injective objects and existence of injective hulls in 𝑄-TOP/(𝑌, 𝜎), A look at the structure of congruence frames by means of Heyting congruences, The category of residuated lattice valued filter spaces, Morphisms and automorphisms of skew-symmetric Lotka–Volterra systems*, A categorical view of varieties of ordered algebras, Lax distributive laws for topology, II, Coalgebraic Geometric Logic: Basic Theory, The limit and tensor product in the category of Q-P quantale modules, Unnamed Item, Cofree objects in the centralizer and the center categories, On general closure operators and quasi factorization structures, Unnamed Item, Bounded sobriety and k-bounded sobriety of Q-cotopological spaces, Function spaces based on L-sets, Closedness, separation and connectedness in pseudo-quasi-semi metric spaces, Realization of categorical idempotent closure operators by preorders, Rough and Near: Modal History of Two Theories, A Tychonoff theorem for graded ditopological texture spaces, T0 convergence-approach spaces, Local T2 extended pseudo-quasi-semi metric spaces, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A compositional approach to quantum functions, Categories for Dynamic Epistemic Logic, Links between Probabilistic Convergence Groups Under Triangular Norms and Enriched Lattice-Valued Convergence Groups, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A category theory approach to conceptual data modeling, Unnamed Item, Unnamed Item, Some categorical aspects of the inverse limits in ditopological context, Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence, On Product Stable Quotient Order-homomorphisms, Some facets of Horn covarieties in a category, On the connection between the representation type of an algebra and its lattice of preradicals, C-continuous fuzzy posets, A COMMON FRAMEWORK FOR LATTICE-VALUED, PROBABILISTIC AND APPROACH UNIFORM (CONVERGENCE) SPACES, Structural topology in a category, Birkhoff-Frink representations as functors, Hierarchically distributed graph transformation, Strong inclusion orders between L-subsets and its applications in L-convex spaces, Convergence and quantale-enriched categories, Metrically generated theories, Unnamed Item, Unnamed Item, Completion in a common supercategory of Met, UAP, wsAP and Near, From Varieties of Algebras to Covarieties of Coalgebras, L-approach merotopies and their categorical perspective, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Double homotopy (co)limits for relative categories, Unnamed Item, Stratified lattice-valued neighborhood tower group, Two types of Galois correspondences over quantaloid-typed sets, Unnamed Item, Unnamed Item, Unnamed Item, The reduced ring order and lower semi-lattices, Unnamed Item, Terminal Sequence Induction via Games, Model theory of proalgebraic groups, Unnamed Item, Topological rigidity as a monoidal equivalence, ON Q-BITOPOLOGICAL SPACES, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, About the cocompleteness of the category S(B) of Segal topological algebras, Unnamed Item, Unnamed Item, Unnamed Item, Deformation theory of abelian categories, Graded diextremities, Unnamed Item, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, Unnamed Item, Unnamed Item, A categorical approach to soft S-acts, Unnamed Item, EQUALIZERS IN THE CATEGORIES FUZZ AND TOPFUZZ, Concrete functors that respect initiality and finality, Localic separation and the duality between closedness and fittedness, Unification of Modal Logic via Topological Categories, Epimorphic quantum subgroups and coalgebra codominions, Quantum holonomy fields, Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes, Closed and open maps for partial frames, Quasicontinuous spaces, Dual Ramsey properties for classes of algebras, Connections, Dependences between domain constructions in heterogeneous relation algebras, Universal lifting properties of abelian semigroup actions, Local causation, Some further results on pointfree convex geometry, Generalized spectra and applications to finite distributive lattices, Completions of posemigroups by cuts and beyond, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The Wijsman structure of a quantale-valued metric space, The category 𝒮hjIMSet of sheaves in MSet, Closure operators, irreducibility, Urysohn's lemma, and Tietze extension theorem for proximity spaces, Action graph of a semigroup act & its functorial connection, Internal Neighbourhood Structures II: Closure and closed morphisms, Linear domains and linear maps, Unnamed Item, Fuzzy closure operators and their applications, Unnamed Item, Unnamed Item, (E,M)−estructuras inducidas en categorías topológicas, Unnamed Item, Unnamed Item, Extensions of the stone duality to the category of Boolean spaces and continuous maps, Abstract graph derivations in the double pushout approach, Note on standard representation of graphs and graph derivations, An introduction to category-based equational logic, Object interaction, Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory, Closure operators in convergence approach spaces, T4, Urysohn’s lemma, and Tietze extension theorem for constant filter convergence spaces, Perfect monoids with zero and categories of S-acts, Single Pushout Rewriting in Comprehensive Systems, Admissible subsets and completions of ordered algebras, On \(P\)-sober spaces, Unnamed Item, Many valued topologies on L-sets, A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames, Reflectors to quantales, A category of complete residuated lattice-value neighborhood groups, Algebraic representation of frame-valued continuous lattices via the open filter monad, Constructing \(Q\)-algebras from \(Q\)-modules, On the cancellation problem for quantales, Smallness in topology, Epimorphisms and closure operators of categories of semilattices, The monoidal nature of the Feistel-Toffoli construction, The algebra of the Feistel-Toffoli construction, Preservation and reflection of bisimilarity via invertible steps, Quantum B‐modules, CELLULAR CATEGORIES AND STABLE INDEPENDENCE, A categorical equivalence between logical quantale modules and quantum B‐modules, Resource convertibility and ordered commutative monoids, Free hypermodules: a categorical approach, What is the Spectral Category?, Unnamed Item, Unnamed Item, Unnamed Item, Transition scale-spaces: A computational theory for the discretized entorhinal cortex, Some exact sequences associated with adjunctions in bicategories. Applications, Morita equivalence of semirings with local units, Explicit Teichmüller curves with complementary series, Pre-Hausdorff and Hausdorff proximity spaces, The Banaschewski compactification of an approach space is of Wallman-Shanin-type, Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces, Transitivity and Difunctionality of Bisimulations, On a problem of Gabriel and Ulmer, Construction of Closure Operations in a Category of Presheaves, Regular closure operators, On two types of stable subconstructs of FTS, A Wallman-Shanin-type compactification for approach spaces, Displayed Categories, On two types of stable subconstructs of FTS, Unnamed Item, Cartesian closedness of categories of completely distributive lattices, Unnamed Item, Unnamed Item, A remark on conservative cocompletions of categories, Topological geometrical categories, Unnamed Item, A categorical approach to convergence: compactness, Inverse systems and inverse limits in the category of plain textures, Unnamed Item, Unnamed Item, A characterisation of the category of compact Hausdorff spaces, σ-COMPLETE BOOLEAN ALGEBRAS AND BASICALLY DISCONNECTED COVERS, Order-enriched solid functors, Monomorphisms in the category of firm modules, Algebraic Logic, Where Does it Stand Today?, Bornological quasi-metrizability in generalized topology, The Stone-Čech compactification of a partial frame via ideals and cozero elements, OnQ-sobriety, Some remarks on interior operators and the functional property, Topological tensor product of bimodules, complete Hopf algebroids and convolution algebras, Straight nearness spaces, On epireflective and coreflective hulls of a particular L-topological space, Stratified L-ordered filter spaces, Unnamed Item, Efficient Coalgebraic Partition Refinement, On Mono- and Epimorphisms in Varieties of Ordered Algebras, On the Construction of Transformation Steps in the Category of Multiagent Systems, Unnamed Item, Unnamed Item, Unnamed Item, On semisimple semirings, Coalgebraic Modal Logic Beyond Sets, T₁ Approach Spaces, Local pre-Hausdorff extended pseudo-quasi-semi metric spaces, On the continuous action of enriched lattice-valued convergence groups: Some examples, Monoidal closedness of the category of $\top$-semiuniform convergence spaces, Unnamed Item
