Structuri importante în teoria categoriilor

📄️ Categorii închise

Adesea multe construcții în teoria categoriilor vor face referire la ce numim functorul hom intern (sau internal hom-functor). Este un functor special care apare în cazul categoriilor închise și în cele mai multe cazuri închiderea lor este

📄️ Categorii monoidale

Adesea construcțiile întâlnite în teoria categoriilor au anumite proprietăți prin care putem modela anumite lucruri din limbaje de programare sau din lumea reală.

📄️ Functori monoidali

Adesea functorii conservă structurile dintre cele două categorii peste care sunt definiți. În cazul categoriilor monoidale nu orice functor conservă structura monoidală chiar dacă functorul duce dintr-o categorie monoidală în altă categorie monoidală.

📄️ Actions of monoidal categories

Action of a monoidal category

📄️ Categorial Optics

Contribuitor