The following pages link to (Q4123496):
Displayed 50 items.
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Categorical foundations of topology with applications to quantaloid enriched topological spaces (Q277343) (← links)
- Fuzzy terms (Q277347) (← links)
- Relation lifting, a survey (Q299182) (← links)
- The fundamental group as the structure of a dually affine space (Q328642) (← links)
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis (Q355727) (← links)
- On a generalization of the concept of state property system (Q416295) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- Domains arising as algebras for powerspace constructions (Q689273) (← links)
- Empirical set theory (Q689299) (← links)
- Characterization of a category for monoidal topology (Q745720) (← links)
- Notions of computation and monads (Q757075) (← links)
- A characterization of the category FCS (Q780204) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Density in categorical topology via quantaloid-enriched categories (Q820671) (← links)
- The saturated prefilter monad (Q820674) (← links)
- Basic concepts of quantale-enriched topologies (Q825979) (← links)
- Order-adjoint monads and injective objects (Q847677) (← links)
- Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches (Q865043) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Lattice-valued soft algebras. (Q889973) (← links)
- Petri nets are monoids (Q922720) (← links)
- Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics (Q925363) (← links)
- Topological cones: functional analysis in a \(T_{0}\)-setting (Q938295) (← links)
- Variable-basis topological systems versus variable-basis topological spaces (Q989684) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923) (← links)
- On notions of factorization systems and their applications to cone- injective subcategories (Q1052448) (← links)
- Generating the algebraic theory of C(X) (Q1052451) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Order completion monads (Q1055871) (← links)
- Tensor product of partially-additive monoids (Q1057976) (← links)
- The free completely distributive lattice over a poset (Q1071039) (← links)
- On free, projective, and strongly flat acts (Q1073191) (← links)
- The Birkhoff variety theorem for continuous algebras (Q1076703) (← links)
- When is a variety a topos ? (Q1080512) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Homomorphisms, homomorphic relations and power algebras (Q1144061) (← links)
- Foundations of system theory: The Hankel matrix (Q1146145) (← links)
- On valued rings (Q1165308) (← links)
- Finitary quasi-varieties (Q1168414) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- Zum Satz von Freyd und Kelly (Q1235253) (← links)
- One more categorical model of universal algebra (Q1240295) (← links)
- Extension theories for monoids (Q1252284) (← links)
- On the relationship between composite and tensor product triples (Q1252285) (← links)
- Every topological category is convenient for Gelfand duality (Q1255208) (← links)