×

Found 147 Documents (Results 1–100)

100
MathJax

Category theory as a foundation for the concept analysis of complex systems and time series. (English) Zbl 1454.06003

Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 119-134 (2019).
PDF BibTeX XML Cite
Full Text: DOI

A short introduction to clones. (English) Zbl 1341.08003

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI

Towards the theory of approximate systems: variable range categories. (English) Zbl 1301.03044

Arhangel’skii, Alexander V. (ed.) et al., Proceedings of the international conference on topology and its applications (ICTA 2011), Islamabad, Pakistan, July 4–10, 2011. Cambridge: Cambridge Scientific Publishers (ISBN 978-1-908106-17-9/pbk). 265-284 (2012).
PDF BibTeX XML Cite

Relational concepts in social choice. (English) Zbl 1364.91051

Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 278-293 (2012).
PDF BibTeX XML Cite
Full Text: DOI

A connection between clone theory and FCA provided by duality theory. (English) Zbl 1360.08002

Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Pre-Galois connection on coalgebras for generic component refinement. (English) Zbl 1279.68061

Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
PDF BibTeX XML Cite
Full Text: DOI

Functorial properties of formal concept analysis. (English) Zbl 1213.68606

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 505-508 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Introducing Lagois correspondences. (English) Zbl 1067.06004

Gähler, W. (ed.) et al., Categorical structures and their applications. Proceedings of the North-West European category seminar, Berlin, Germany, March 28–29, 2003 . River Edge, NJ: World Scientific (ISBN 981-256-053-X/hbk). 207-217 (2004).
MSC:  06A15 18A99
PDF BibTeX XML Cite

Chapter 4. Galois connections and fixed point calculus. (English) Zbl 1065.68030

Backhouse, Roland (ed.) et al., Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10–14, 2000. Revised lectures. Berlin: Springer (ISBN 3-540-43613-8). Lect. Notes Comput. Sci. 2297, 89-148 (2002).
MSC:  68N30 06A15 18C50
PDF BibTeX XML Cite
Full Text: Link

Categorical closure operators. (English) Zbl 0995.18002

Koslowski, Jürgen (ed.) et al., Categorical perspectives. Papers from the international conference held in honor of George E. Strecker on the occasion of his 60th birthday at Kent State University, Kent, OH, USA, August 1998. Boston, MA: Birkhäuser. Trends in Mathematics. 109-150 (2001).
PDF BibTeX XML Cite

Operational Galois adjunctions. (English) Zbl 0962.18003

Coecke, Bob (ed.) et al., Current research in operational quantum logic. Algebras, categories, languages. Workshop, Free Univ. of Brussels, Belgium, June of 1998 and May of 1999. Dordrecht: Kluwer Academic Publishers. Fundam. Theor. Phys. 111, 195-218 (2000).
MSC:  18B35 81P10 06A15
PDF BibTeX XML Cite
Full Text: arXiv

On the compact-regular coreflection of a stably compact locale. (English) Zbl 0921.54010

Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 14 (1999).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Software