A5079109887- Homotopy and Cohomology in Algebraic Topology
- Algebraic structures and combinatorial models
- Advanced Algebra and Logic
- Rings, Modules, and Algebras
- Advanced Topics in Algebra
- Logic, programming, and type systems
- Intracranial Aneurysms: Treatment and Complications
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Advanced Differential Equations and Dynamical Systems
- Advanced Topology and Set Theory
- Fuzzy and Soft Set Theory
- advanced mathematical theories
- semigroups and automata theory
- Nonlinear Waves and Solitons
- Alkaloids: synthesis and pharmacology
- Approximation Theory and Sequence Spaces
- Innovations in Concrete and Construction Materials
- Noncommutative and Quantum Gravity Theories
- Pituitary Gland Disorders and Treatments
- Innovative concrete reinforcement materials
- Carbohydrate Chemistry and Synthesis
- Mathematical Approximation and Integration
- Glycosylation and Glycoproteins Research
- Mesoporous Materials and Catalysis
University of Coimbra
2008-2022
Polytechnic Institute of Viseu
2008-2022
University of Aveiro
2017
Polytechnic Institute of Coimbra
2014
Instituto Politécnico Nacional
1995-2008
For endofunctors of varieties preserving intersections, a new description the final coalgebra and initial algebra is presented: former consists all well-pointed coalgebras. These are pointed coalgebras having no proper subobject quotient. The that well-founded in sense Osius Taylor. And algebras precisely Finally, iterative finite Numerous examples discussed e.g. automata, graphs, labeled transition systems.
Continuous lattices were characterised by Martín Escardó as precisely those objects that are Kan-injective with respect to a certain class of morphisms. In this paper we study Kan-injectivity in general categories enriched posets. As an example, ω-CPO's the posets embeddings ω ↪ + 1 and 0 1. For every $\mathcal{H}$ morphisms, subcategory all morphisms preserving Kan extensions. such Top Pos , prove whenever is set above monadic, monad it creates Kock–Zöberlein monad. However, does not...
We combine ideas coming from several fields, including modal logic, coalgebra, and set theory. Modally saturated trees were introduced by K. Fine in 1975. give a new purely combinatorial formulation of modally trees, we prove that they form the limit final omega-op-chain finite power-set functor Pf. From that, derive an alternative proof J. Worrell's description coalgebra as all strongly extensional, finitely branching trees. In other direction, represent for Pf terms certain maximal...
We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. show that any 2-category convenient colimits has an orthogonal $LaxEpi$-factorization system, we give a concrete description of this factorization $\mathsf{Cat}$.
For any suitable monoidal category $\mathcal{V}$, we find that $\mathcal{V}$-fully faithful lax epimorphisms in $\mathcal{V} \dash \mathcal{V}$ are precisely those $\mathcal{V}$-functors $F: \mathcal{A} \to \mathcal{B}$ whose induced ${\mathfrak C} F: {\mathfrak between the Cauchy completions equivalences. case $\mathcal{V}= {\rm Set}$, this is equivalent to requiring functor $F^*:{\rm CAT}({\mathcal A},{\rm Cat}) B}, Cat})$ an equivalence. By reducing study of effective descent functors...
In this work we define a class of injective-type norm on tensor products through the environment sequence classes. Examples and results will be presented duality is studied in context. As byproduct, present definition associated integral-type bilinear forms also characterization for spaces.